蕴含式.pptVIP

* * §1.5 蕴含式 当且仅当P ? Q为一个永真式时，称作“P 蕴含 Q”，记作 P ? Q 即 P ? Q ? Q 对于 P? Q 来说， Q ? P 称作是它的逆换式， ? P ? ? Q称作是 它的反换式， ? Q ? ? P为它的逆反式，其中 P ? Q ? ? Q ? ? P P ? Q ? Q ? ? (P ? Q) ? Q ? ? P ? ? Q ? Q ? T ， 蕴含 例、 P ? Q ? Q 要证 P ? Q，(就是证 P蕴含Q)，根据定义，就是要证明： P ? Q为一个永真式。 由P ? Q 的真值表可知： 只有当P为T，Q为F时， P ? Q才为F，其余情况下， P ? Q 为T。 所以，要证明 P ? Q为永真式，只需要假定前提为T，若由此 推出的Q的真值为T，则P ? Q为永真式，即P ? Q成立。 1、直接证法 P ? Q 的推证方法 P ? Q ? ? Q ? ? P，故可以假定后件Q为F，若能够推出的前件P为F，即推出了? Q ? ? P，即P ? Q成立。 则 P ? Q为 F，于是P为 T， 则 P ? Q 为 T，故 ? (P ? Q)为 F， 2、间接证法 于是P为 F，Q为 F，故? P为 T。 证1：设 ? (P ? Q) 为 T， 得证。 证2：设 P为 F， 得证。 证1：设 ? Q ? (P ? Q)为 T，则