離散數學之數理邏輯——第2章 命題邏輯等值演算

1. 等值式 定義2.1 設A,B是兩個命題公式，若A，B構成的等價式A<->B爲重言式，則稱A與B是等值的，記作A<=>B. <=>不是連接符，它是用來說明A與B等值的一種記法，因而它是元語言符號。 本書給出16組重要的等值式，應牢牢記住： 上述16組等值式共包含了24個重要等值式。這樣的等值式稱爲等值式模式，具體的等值式被稱爲原來等值式模式的待入實例 我們稱由已知的等值式推演出另外一些等值式的

>>阅读原文<<