离散数学命题逻辑.docVIP

离散数学笔记 第一章 命题逻辑 重言式(矛盾式)定义 A(P1,P2,…,Pn) 是含有命题变元 P1,P2,…,Pn 的命题公式，如不论对 P1, P2 , …,Pn 作任何指派，都使得 A(P1,P2,…, Pn) 为真(假)，则称之为重言式(矛盾式), 也称之为永真式 (永假式)。 重言(永真)蕴涵式 有些重言(永真)式，如(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(P1,P2,…,Pn) 是含有命题变元 P1,P2,…,Pn 的命题公式，如果用合式公式 X 替 换某个 Pi(如果 Pi 在 A(P1,P2,…,Pn) 中多处出现，则各处均用 X 替换 )，其余变元不变，替 换后得到新的公式 B，则称 B 是 A(P1,P2,…,Pn) 的置换例式。 重言(永真)蕴涵式的性质 1).自反性：对任何命题公式 A，有 A?A 2).传递性：若 A?B 且 B?C，则 A?C 1 3).反对称性：若 A?B 且 B?A，则 A?B 符号“?”表示“等价”。 重要的重言蕴涵式 I1.P∧Q?P I9.P,Q?P∧Q I2. P∧Q?Q I10. ?P∧(P∨Q)?Q I3.P?P∨Q I11.P∧(P?Q)?Q I4. Q?P∨Q I12. ?Q∧(P?Q)??P I5.?P?P?Q I13. (P?Q)∧(Q?R)?P?R I6. Q?P?Q I14.(P∨Q)∧(P?R)∧(Q?R)?R I7.?(P?Q)?P I15. A?B ?(A∨C)?(B∨C) I8. ?(P?Q)??Q I16. A?B ?(A∧C)?(B∧C) 1-5 等价公式 1. 例子, 看下面三个公式的真值表 P Q P?Q ?P∨Q ?Q??P F F T T T F T T T T T F F F F T T T T T 从真值表可以看出，不论对 P、Q 作何指派，都使得 P?Q、?P∨Q 和?Q??P 的真值相同，表明它 们之间彼此等价。 2. 定义： A、B 是含有命题变元 P1,P2,…, Pn 的命题公式，如不论对 P1, P2 , …, Pn 作任何指派，都使得 A 和 B 的真值 相同，则称之为 A 与 B 等价，记作 A?B。 显然 P?Q??P∨Q??Q??P 2 3. 重要的等价公式 ⑴ 对合律 ??P?P ⑵ 幂等律 P∨P?P P∧P?P ⑶ 结合律 P∨(Q∨R)?(P∨Q)∨R P∧(Q∧R)?(P∧Q)∧R ⑷交换律 P∨Q?Q∨P P∧Q?Q∧P ⑸分配律 P∨(Q∧R)?(P∨Q)∧(P∨R) P∧(Q∨R)?(P∧Q)∨(P∧R) ⑹ 吸收律 P∨(P∧Q)?P P∧(P∨Q)?P ⑺德-摩根定律 ?(P∨Q)??P∧?Q ?(P∧Q)??P∨?Q ⑻ 同一律 P∨F?P P∧T?P ⑼ 零律 P∨T?T P∧F?F ⑽ 互补律 P∨?P?T P∧?P?F ⑾ P?Q??P∨Q ⑿ P?Q??Q??P ⒀ P?Q ?(P?Q)∧(Q?P) ⒁ P?Q ?(?P∨Q)∧(P∨?Q) ⒂ P?Q ?(P∧Q)∨(?P∧?Q ) 3 重要的等价公式: 对合律 E1 ??P?P 交换律 E2 P∧Q?Q∧P E3 P∨Q?Q∨P 结合律 E4 P∧(Q∧R)?(P∧Q)∧R E5 P∨(Q∨R)?(P∨Q)∨R 分配律 E6 P∧(Q∨R)?(P∧Q)∨(P∧R) , E7 P∨(Q∧R)?(P∨Q)∧(P∨R) 德-摩根定律 E8 ?(P∧Q)??P∨?Q E9 ?(P∨Q)??P∧?Q 幂等律 E10 P∨P?P E11 P∧P?P 同一律 E12 P∨F?P E13 P∧T?P 零律 E14 P∨T?T E15 P∧F?F E16 P?Q??P∨Q E17 ?( P?Q)?P∧?Q E18 P?Q??Q??P E19 P?(Q?R)?(P∧Q)?R E20 P?Q ?(P?Q)∧(Q?P) E21 P?Q?(P∧Q)∨(?P∧?Q ) E22 ?(P?Q)? P??Q 吸收