1-56 重言式与蕴含式精选.ppt

1-5重言式与蕴含式 1-5.1重言式（tautology） 1-5重言式与蕴含式 1-5.1重言式（tautology） 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 为一个重言式。 1-5.2蕴含式(implication) 定义1-5.3 [蕴含式］当且仅当Ｐ?Ｑ是一个重言式时，我们称“Ｐ蕴含Ｑ”，并记作Ｐ?Ｑ。 对于Ｐ?Ｑ来说，逆换式为：Ｑ?Ｐ 反换式为：?Ｐ? ?Ｑ 逆反式为：?Ｑ? ?Ｐ 有Ｐ?Ｑ与Ｑ?Ｐ不等价， Ｐ?Ｑ??Ｑ? ?Ｐ，Ｑ?Ｐ? ?Ｐ? ?Ｑ 　　（命题与逆否命题等价） 1-5.2蕴含式(implication) 证明A?B的方法： 要证A?B，即证A?B是重言式，或证其逆反式?B? ?A是重言式即可。 要证A?B是重言式： （推理法） （1