等价式坐下和蕴涵式.pptVIP

§8．2 重言式 等价式和蕴涵式 8．2．1 重言式 矛盾式 从上节例8.5中我们看到，虽然公式一般随所含命题变元的真值变化而变化，但也有公式无论变元真值指派是什么它的真值都是真，也有公式无论变元真值指派是什么它的真值都是假，它们是两类特殊的命题公式即重言式（也叫永真式）和矛盾式（也叫永假式），当然更多的是命题公式的真值随变元真值的不同有真有假，我们称它们为可满足式。 定义8.3 对于命题公式A，如果对A中命题变元的一切指派A的真值都为真，则称命题公式A为重言式（tautology），又称永真式；记作T。 如果对A中命题变元的一切指派A的真值都为假，则称命题公式A为矛盾式（contradication），又称永假式。记作F。 如果对A中命题变元的一切指派A的真值有真有假则称A为可满足式（satisfactable formula）。 那么任何一个公式肯定是永真式、永假式和可满足式三种公式中的一个，判定一个公式是这三类公式中的哪一个往往称为公式的判定问题，目前我们可以借助真值表有效判定。 很显然，而当A是永真式（永假式）时， ?A必为永假式（永真式）。 例8.9 用真值表证明(P∨Q)∧?P→Q为重言式。 证 待证公式的真值表为： 表8.9 由表的最后一列可以看出，原式为重言式。 如果能给一组命题公式中的每一变元一个真值，使各表达式均为真