邏輯等價

此條目沒有列出任何參考或來源。 (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。

• 邏輯雙條件
• 蘊涵
• 等價符號