离散数学期末复习纲要.ppt

第1章命题逻辑重点（1）需要熟练掌握的知识点包括：命题的定义、逻辑联结词、命题变元、命题公式（合式公式）、永真式、永假式、可满足式、等价式、蕴涵式、极小项、极大项、主析取范式、主合取范式。第1章命题逻辑重点（续）（2）掌握基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（替换规则和推论规则）。证明等价式:P41#8(1)(1)P→(Q→P)??P→(P→Q)左式??P∨(?Q∨P)?T右式???P∨(?P∨Q)?P∨(?P∨Q)?T所以：P→(Q→P)??P→(P→Q)P41#8(5)(5)(P∧Q∧A→C)∧(A→P∨Q∨C)?(A∧(