If p → q then q → p?

Question

我试图回到布尔代数多年后没有它，我目前正在做一个练习，要求验证是否p→q或q→p是重言式，p和q是很长的表达式很难简化，然而p→q是很容易证明重言式使用真值表而q→p需要更长的时间来验证使用真值表。

表述p→q≡q→p正确吗?我找不到关于这个命题的简明信息，但是建立真值表使它看起来是正确的。

如果是，我可以回答，因为p→q是重言式，q→p也是。

Answer 1

如果我理解对了你的问题，那么看一下真值表:
a ->B = c | B ->A = c
0 ->0 = 1 | 0 ->0 = 1
0 ->1 = 1 | 0 ->1 =0
1→0 =0| 1 ->0 = 1
1 ->1 = 1 | 1 ->1 = 1
说明a->b不等于b->a。
我希望这对你有一点帮助。