1_2真值表_公式分类_命题定律_代入置换.pptVIP

符号化、公式分类命题定律、代入置换;复习;复习题：;本节内容;命题分类与命题变元;合式公式;合式公式(Cont.);合式公式(Cont.);合式公式(Cont.);命题符号化;命题的符号化;命题的符号化(Cont.);命题的符号化(Cont.);命题的符号化(Cont.);注意;练习题;几个例子;公式真值表;公式真值表(Cont.);公式分类;公式分类(Cont.);公式分类(Cont.);等价公式;?和?的区别与联系;等价公式的性质;基本等价式——命题定律;;(3) 结合律：(A∧B)∧C?A∧(B∧C)，(A∨B)∨C?A∨(B∨C)，(A?B)?C?A?(B?C)。 (4) 分配律：A∧(B∨C)?(A∧B)∨(A∧C)，A∨(B∧C)?(A∨B)∧(A∨C)。 (5) 德·摩根律：?(A∧B)??A∨?B，?(A∨B)??A∧?B。 (6) 等幂律：A∧A?A，A∨A?A。;(7) 同一律：A∧T?A，A∨F?A。 (8) 零 律：A∧F?F，A∨T?T。 (9) 吸收律：A∧(A∨B)?A，A∨(A∧B)?A。 (10) 互补律：A∧?A?F，(矛盾律) A∨?A?T。(排中律) (11) 条件式转化律：A→B??A∨B，A→B??B→?A。 ;(12) 双条件式转化律：A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B) ?A?B??(A?B) (13) 输出律：(A∧B)→C?A→(B→C)。 (14) 归谬律：(A→B)∧(A→?B)??A。 上面这些定律，即是通常所说的布尔代数或逻辑代数的重要组成部分，它们的正确性利用真值表是不难给出证明的。;代入规则和替换规则;代入规则;替换规则;代入和替换有两点区别： ① 代入是对原子命题变元而言的，而替换可对命题公式实行。 ② 代入必须是处处代入，替换则可部分替换，亦可全部替换。 ;总结;思考题;下次课程; Thank you