离散数学课件重n言式与蕴含式.pptVIP

1-5重言式与蕴含式 1-5.1重言式（tautology） 定义1-5.1 [重言式]: 给定一个命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为重言式或永真公式。 1-5重言式与蕴含式 1-5.1重言式（tautology） 定义1-5.2 [矛盾式]: 给定一个命题公式，若无论对分量作怎样的指派，其对应的真值永为F，则称该命题公式为矛盾式或永假公式。 1-5.1重言式（tautology） 性质1-5.1 若A和B均为重言式，则A?B及A?B也为重言式。 性质1-5.2 若A是一个重言式，则对A的同一个分量都用另外一个合式公式置换，所得公式仍为重言式。 例：?(P?Q) (?P??Q) 是重言式(P14) P用R?T 替换，还是重言式。 1-5.1重言式（tautology） 定理1-5.3 设A、B为两个命题，A?B当且仅当A B 为一个重言式。 证明：若A?B，则A、B有相同的真值， 　 由双条件定义 A B 永为T。 上例是重言式，则?(P?Q) ?(?P??Q) 德.摩根律得证 若A B为重言式，则A B永为T， 故A、B有相同的真值，即A?B。 1-5.2蕴含式(implication) 定义1-5.3 [蕴含式］当且仅当Ｐ?Ｑ是一