◆蘊(yùn)涵規(guī)則（限制條件為應(yīng)用于整條公式；單向推論）

1、（MP）肯定前件：A→B，A╞B

2、（MT）否定后件：A→B，～B╞～A

3、（Simp）簡(jiǎn)化律：A∧B╞A；A∧B╞B

4、（Add）附加律：A╞A∨B；B╞A∨B

5、（Conj）合取律：A，B╞A∧B

6、（HS）假言三段論：A→B，B→C╞A→C

7、（DS）析取三段論：A∨B，～A╞B

8、（CD）構(gòu)造式二難：A→B，C→D，A∨C╞B∨D

◆等值置換規(guī)則（可應(yīng)用于公式的部分）

9、（De M）德·摩根律：～（A∨B）?～A∧～B；～（A∧B）?～A∨～B

10、（Com）交換律：A∨B?B∨A；A∧B?B∧A

11、（Trans）假言易位律：A→B?～B→～A

12、（Dist）分配律：A∨（B∧C）?〔（A∨B）∧（A∨C）〕；A∧（B∨C）?〔（A∧B）∨（A∧C）〕

13、（Impl）蘊(yùn)析律：A→B?～A∨B

14、（Assoc）結(jié)合律：A∨（B∨C）?（A∨B）∨C；A∧（B∧C）?（A∧B）∧C

15、（DN）雙重否定律：A?～～A

16、（Taut）重言律：A?A∨A；A?A∧A

17、（Equiv）實(shí)質(zhì)等值律：（A?B）?〔（A→B）∧（B→A）〕；（A?B）?〔（A∧B）∨（～A∧～B）〕

18、（Exp）移出律：（A∧B）→C?A→（B→C）