计算机数学1 -5 重言式与蕴含式.pdfVIP

1 - 5 重言式与蕴含式 一 1.定义：公式A 中分量作任何指派，其值皆为真，则称A 为 重言式或永真式。公式A 中分量作任何指派，其值皆为假， A 则称 为矛盾式或永假式。 2.重言式也就是上节课中遇到的永真式，矛盾式即永假式, 这两类公式在今后的命题演算中极为有用，下面我们讨论 重言式的一些性质。对矛盾式也有类似的性质。 定理：若A 和B 是重言式，则A/\B,AvB都是重言式。 证：A 和B 为重言式，则不论A 和B 的分量指派何真值，总