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