离散数学期末复习纲要课件.pptVIP

第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∧(P?Q))→C 左式 ?(?P∨?Q∨?A∨C)∧(?A∨P∨Q∨C) ?((?P∨?Q∨?A)∧(?A∨P∨Q))∨C ?(?A∨((?P∨?Q)∧(P∨Q)))∨C ?(?A∨?((P∧Q)∨(?P∧?Q)))∨C ??(A∧((P∧Q)∨(?P∧?Q)))∨C ??(A∧(P?Q))∨C ? (A∧(P?Q))→C ?右式 P41#11(2) 求命题公式的主范式P42#17 (1)(?P∨?Q)→(P??Q) ??(?P∨?Q)∨(P∧?Q)∨(?P∧??Q) ? (P∧Q)∨(P∧?Q)∨(?P∧Q) 求命题公式的主范式P42#17 (6)(P→Q∧R))∧(?P→?Q∧?R)