离散数学的-命题逻辑.pdfVIP

离散数学笔记 第一章 命题逻辑 重言式(矛盾式)定义 A(P ,P ,…,P ) 是含有命题变元 P ,P ,…, P 的命题公式，如不论对 P , P , …, P 作任何指派，都使得 1 2 n 1 2 n 1 2 n A(P ,P ,…, P ) 为真(假) ，则称之为重言式(矛盾式), 也称之为永真式 (永假式)。 1 2 n 重言(永真)蕴涵式 有些重言(永真)式，如(P∧(PQ))Q ， 公式中间是 “”联结词，称为重言蕴涵式。 1.定义：如果公式 AB 是重言式，则称 A 重言(永真)蕴涵 B ，记作AB。上式可以写成 (P∧(PQ))Q 注意符号“”不是联结词，它是表示公式间的 “永真蕴涵”关系，也可以看成是“推导”关系。即 AB 可以理解成由 A 可推出 B ，即由 A 为真，可以推出 B 也为真。 重言式的证明方法 方法 1 ：列真值表。 方法 2 ：公式的等价变换，化简成“T”。 方法 3 ：用公式的主析取范式。 永真式的性质 1).如果 A 是永真式，则A 是永假式。 2).如果 A、B 是永真式，则(A∧B)、(A∨B)、(AB)和(AB)也都是永真式。 3).如果 A 是永真式，则 A 的置换例式也是永真式。 置换例式 ：A(P ,P ,…,P ) 是含有命题变元 P ,P ,…, P 的命题公式，如果用合式公式 X 替 1 2 n 1 2 n 换某个 P (如果 P 在 A(P ,P ,…,P ) 中多处出现，则各处均用 X 替换 ) ，其余变元不变，替 i i 1 2 n 换后得到新的公式 B ，则称B 是 A(P ,P ,…,P ) 的置换例式。 1 2 n 重言(永真)蕴涵式的性质 1).自反性：对任何命题公式 A ，有AA 2).传递性：若 AB 且 BC ，则AC 1 3).反对称性：若 AB 且 BA ，则AB 符号“”表示 “等价”。 重要的重言蕴涵式 I .P∧QP I .P,QP∧Q 1 9 I . P∧QQ I . P∧(P∨Q)Q 2 10 I .PP∨Q I .P∧(PQ)Q 3 11 I . QP∨Q I . Q∧(PQ)P 4 12 I .PPQ I . (PQ)∧(QR)PR 5 13 I . QPQ I .(P∨Q)∧(PR)∧(QR)R 6 14 I .(PQ)P I . AB (A∨C)(B∨C) 7 15