离散数学15重言式和蕴含式.pptVIP

* * 第一章 命题逻辑 1-5 重言式与蕴含式 一、公式的真假值分类 有些命题公式不论对分量做何种指派，其对应的真值都为1（真）或0（假），这两类特殊的命题公式在今后的命题演算中极为有用，可根据公式的取值情况对公式进行分类。 定义1-5.1 给定一个命题公式，若无论对分量作怎样的指派，其对应的真值永为1，则称该命题公式为重言式或永真公式。 定义1-5.2 给定一个命题公式，若无论对分量作怎样的指派，其对应的真值永远为0，则称该命题为矛盾式或永假公式。 *注：命题公式若不是矛盾式,则可称为可满足式。 一、公式的真假值分类 真值表可用来判断公式的类型: ????(1) 若真值表最后一列全为1，则公式为重言式。 ????(2) 若真值表最后一列全为0，则公式为矛盾式。 ????(3) 若真值表最后一列中至少有一个1，则公式为可满足式。 一、公式的真假值分类 定理1.5.1及证明 P19 定理1.5.2及证明 P19 定理1.5.3及证明 P20 二、(永真/重言)蕴含式 形如A→B重言式在我们将要学习的推理理论中有着十分重要的作用。 定义1-5.3 当且仅当P→Q是一个重言式时，我们称“P蕴含Q”，并记作P?Q。 （注：本课约定，“P →Q”读作P蕴含Q， “P ?Q”读作P永真/重言蕴含Q。） *注：其中“?”同样是一种元语言