逻辑等价

此條目没有列出任何参考或来源。 (2021年10月9日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。

p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。

逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔ q"）自身是在目标语言中另一个陈述。但它们是有联系的，p和q是语法等价的，当且仅当p ↔ q是一个定理，而p和q是语义等价的，当且仅当p ↔ q是重言式。

逻辑等价有时表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。

包括蕴涵的逻辑等价：

1. p→q≡﹁p∨q
   
2. p→q≡﹁q→﹁p
   
3. p∨q≡﹁p→q
   
4. p∧q≡﹁(p→﹁q)
   
5. ﹁(p→q)≡p∧﹁q
   
6. (p→q)∧(p→r)≡p→(q∧r)
   
7. (p→q)∨(p→r)≡p→(q∨r)
   
8. (p→r)∧(q→r)≡(p∨q)→r
   
9. (p→r)∨(q→r)≡(p∧q)→r
   

包含双蕴涵（逻辑双条件）的逻辑等价：

1. p↔q≡(p→q)∧(q→p)
   
2. p↔q≡﹁p↔﹁q
   
3. p↔q≡(p∧q)∨(﹁p∧﹁q)
   
4. ﹁(p↔q)≡p↔﹁q
   

John高于Fred≡≡（等价于）≡≡Fred矮于John。

• 逻辑双条件
• 蕴涵
• 等价符号