1基本等值式1.双重否定律 A ┐┐A2.幂等律A A∨A,A A∧A3.交换律A∨B B∨A,A∧B B∧A4.结合律(A∨B)∨C A∨(B∨C)(A∧B)∧C A∧(B∧C)5.分配律A∨(B∧C) (A∨B)∧(A∨C)(∨对∧的分配律)A∧(B∨C) (A∧B)∨(A∧C)(∧对∨的分配律)6.德·摩根律┐(A∨B) ┐A∧┐B┐(A∧B) ┐A∨┐B7.吸收律A∨(A∧B) A,A∧(A∨B) A8.零律A∨1 1,A∧0 09.同一律A∨0 A,A∧1 A10. 排中律A∨┐A 111.矛盾律A∧┐A 012. 蕴涵等值 式 A → B ┐ A ∨ B 13. 等价等值 式 A B (A → B) ∧ (B → A) 14. 假言易 位 A → B ┐ B →┐ A 15. 等价否定等值式 A B ┐ A ┐ B 16. 归谬论(A→B)∧(A→┐B) ┐A求给定公式范式的步骤(1) 消去联结词→、(若存在)。(2) 否定号的消去(利用双重否定律)或内移(利用德摩根律)。(3) 利用分配律:利用∧对∨的分配律求析取范式,∨对∧的分配律求合取范式。推理定律--重言蕴含式(1) A (A∨B)附加律(2) (A∧B) A化简律(3) (A→B)∧A B假言推理(4) (A→B)∧┐B ┐A拒取式(5) (A∨B)∧┐B A析取三段论(6) (A→B) ∧ (B→C) (A→C)假言三段论(7) (AB) ∧ (BC) (A C)等价三段论(8) (A→B)∧(C→D)∧(A∨C) (B∨D)构造性二难(A→B)∧(┐A→B)∧(A∨┐A) B构造性二难(特殊形式) (9)(A→B)∧(C→D)∧(┐B∨┐D) (┐A∨┐C)破坏性二难2SpongeBob SquarePants2设个体域为有限集 D={a1,a2,…,an},则有(1)xA(x) A(a1)∧A(a2)∧…∧A(an)(2)xA(x) A(a1)∨A(a2)∨…∨A(an)设 A(x)是任意的含自由出现个体变项 x 的公式,则(1┐) xA(x) x┐A(x)(2┐) xA(x) x┐A(x)设 A(x)是任意的含自由出现个体变项 x 的公式,B 中不含 x 的出现,则(1) x(A(x)∨B) xA(x)∨Bx(A(x)∧B) xA(x)∧Bx(A(x)→B) xA(x)→Bx(B→A(x)) B→xA(x)(2) x(A(x)∨B) xA(x)∨Bx(A(x)∧B) xA(x)∧Bx(A(x)→B) xA(x)→Bx(B→A(x)) B→xA(x)设 A(x),B(x)是任意的含自由出现个体变项 x 的公式,则(1)x(A(x)∧B(x)) xA(x)∧xB(x)(2)x(A(x)∨B(x)) xA(x)...