重言式.pptVIP

南京信息工程大学数理学院 设A为一个命题公式。 1.若A在它的各种指派下取值均为真，则称A为重言式 或永真式。 2.若A在它的各种指派下取值均为假，则称A为矛盾式 或永假式。 3.若A既不是永真式也不是永假式则称A为偶然式。 例1-2-1 判断下列命题公式的类型。 Ｐ∨?Ｐ； Ｐ∧?Ｐ； Ｐ∧(Ｑ∨? R) 注：列命题公式真值表是判断命题公式类型的方法之一。 永真式的性质： 1.永真式的取值与命题变元的取值无关，恒为1。 2.永真式与永假式互为否定式。 3.任意两个永真式的合取式(1∧1)、析取式(1∨1)、 蕴含式(1→1)、等值式(1?1)均为永真式。 逻辑等价：设A,B为两个命题公式，P1, P2,…，Pn 是A与B的 合成变元组（把A,B中所有不同的命题变元合在一起）。 若A与B对合成变元组的任意指派都有相同的真值， 则称A与B是逻辑等价的，记作A?B，读作“A恒等于B”。 A?B 称为A与B的逻辑等价式。 例1-2-2 判断命题公式?（P∨Q）和?P∧?Q是否等价。 由定义可知：公式A与B是逻辑等价的，当且仅当 A、B的真值表相同。 逻辑等价式的性质 性质1 A?B 当且仅当 命题公式A?B 是永真式。 ( ? 的等价定义) 性质2 命题公式间的逻辑等价关系? 满足： (1)自反性： A?A (2)对称性： 若A?B，则 B ? A (3)传递性： 若A?B 且 B?C，则A?C 永真蕴含：设A,B为两个命题公式，P1, P2,…，Pn 是A与B的 合成变元组(把A,B中所有不同的命题变元合在一起)。 若A与B对合成变元组的任意指派都有当A为真时，则B也 必为真，则称A永真蕴含B，记为A?B，读做“A永真蕴含B”。 A?B 称为永真蕴含式。 永真蕴含式A?B的证明方法 1、真值表 由定义知：可通过判断A与B的真值表中，当A为真时，B也为真，来判断A永真蕴含B。 2、指派分析法 即对于任意指派，在A为真的假设下，逐步分析，最后 推出B为真； 或： 在B为假的假设下，逐步分析，最后推出A为假（逆反律）。 例1-2-3 证明?Ｐ∧(Ｐ∨Ｑ) ?Ｑ 常用的永真蕴含式 (1) P∧Q?P (P∧Q?Q) ( 简化规则 ) (2) P?P∨Q (Q?P∨Q) ( 添加规则 ) (3) (P→Q)∧P ?Q　　　(假言推理规则) (4) (P→Q)∧?Q ? ?P　 (拒取式, 或否定后件式) (5) (P∨Q)∧?P ? Q 　　(析取三段论) (6)(P→Q)∧(Q→R)?P→R (前提三段论) (7)(P∨Q)∧(P→R)∧(Q→R)?R (8)(P?Q)∧(Q?R)?P?R (9) (P→Q)∧(R→S) ? (P∧Q→R∧S) 永真蕴含式的性质 性质1 A?B 当且仅当 命题公式A→B 是永真式。 (?的等价定义) 性质2 命题公式间的永真蕴含关系? 满足： (1)自反性：A?A (2)传递性： 若A?B 且 B?C，则A?C 性质3 A?B当且仅当A?B且B?A。 证明：若A?B，则 A?B 为永真式。 而 A?B ?（A→B）∧（B→A） 故A→B 和 B→A 皆为永真式， 从而有A?Ｂ和Ｂ?Ａ成立。 反之，若Ａ?Ｂ且Ｂ?Ａ，则Ａ→Ｂ和Ｂ→Ａ皆为永真式， 故Ａ?Ｂ为永真式，从而Ａ?Ｂ成立。 1. 代入运算 代入实例：设A是命题公式，P是A中的命题变元，B是任一命题公式。如果将A中P出现的每一处均用命题公式B代替，则称代替后所得到的命题公式为A关于P代入为B的代入实例，记为A[B/P]。 代入规则：永真式的任何代入实例仍为永真式。 ( 因为永真式的值不依赖于它的命题变元的值 ) 推论：设C、D是两个命题公式，P是C、D 中的命题变元， B是任一命题公式。若C?D，则C[B/P]? D[B/P]。 证明：由C?D，得 C?D 为永真式。 由代入规则得： C?D 关于P代入为B的代入实例 C[B/P]?D[B/P]为