逻辑等价

如果两个逻辑式子在所有真假组合下结果都一模一样，就说它们逻辑等价。比如"如果 P 那么 Q"和"非 Q 那么非 P"（逆否命题）永远同真同假，它们就是等价的。判断等价，画真值表逐行对照最稳妥。