1.2.1基本概念

指派：n個命題變元的公式，真值有2^n種不同組合，每種組合叫一種指派，共2^n種，即真值表2^n行。

命題公式得到一確定的值，命題公式成為具有真假值的命題。

重言式/永真式：對於所有指派，命題公式均取真值

矛盾式/永假式：對所有指派，命題公式均取假值

偶然式：不是永真，也不是永假

公式為可滿足的：至少一個指派，值為真

非永真：至少一個指派為假

1.2.2恆等式

A、B是兩個命題公式，A與B對任何指派都有相同真值，叫邏輯恆等式。

注：邏輯恆等式表

1.2.3永真蘊含式

永真蘊含式：A蘊含B是永真式，讀作A永真蘊含B

證明

1真值表
2假定前件是真，推後件是真，蘊含式為真
 假定後件為假，推前件為假，蘊含式為假

1.2.4恆等式和永真蘊含式兩個性質

1 A永真蘊含B，B永真蘊含C，A永真蘊含C

A恆等B，B恆等C，A恆等C

2 A永真蘊含B，A永真蘊含C，A永真蘊含B合取C

1.2.5代入規則和替換規則

代入規則

一重言式中某個命題變元出現的每一處均帶入同一公式後，得到仍是重言式。
正確性：重言式值不依賴於變元的值
帶入後所得公式為代入例項

替換規則

A恆等B，在出現C公式中出現A的地方用B替換（不必每一處）得到D，C恆等於D

子公式：A是合式公式C一部分且A是合式公式

對偶原理

對偶公式：A公式僅有與或非，在A中將與或TF分別換以與或TF，得到A星，為對偶公式

對偶是相互的。