大连理工大学软件学院 离散数学 第一节 命题逻辑-2nd.pptVIP

1.4重言式和永真蕴含式 一个命题公式若含有N个变元，则应有2n种组合，所以证明两个命题公式的等价，当命题变元多时使用真值表法是不现实的，只能采用上面的等价变换的方法。 有两种特殊的命题公式值得一提，即不依赖变元的真值指派总是取值为T的公式（称为永真式），不依赖变元的真值指派总是取值为F的公式（称为永假式），其余则情况则为可满足的式子。 21/37 1.4重言式和永真蕴含式 重言式 给定一个命题公式，若无论对其中的命题变元作何种真值指派，其对应的真值永为T，则称该命题公式为重言式或永真式。 永假式 给定一个命题公式，若无论对其中的命题变元作何种真值指派，其对应的真值永为F，则称该命题公式为永假式或矛盾。 至少存在一组真值指派使命题公式取值为T的命题公式，称为可满足的。 22/37 对命题公式 ， ， 做出真值表 ０ １ ０ １ １ ０ 0 0 1 0 1 1 1 0 0 1 1 1 23/37 重言式和永假式 P ??P ?T, P? ?P ?F 永真式与永假式取决于公式本身的结构，不依赖变元的真值指派。 例如(P ?Q ?R) ? ?(P ?Q ?R)就是一个永真式 (P ?Q ?R) ? ?(P ?Q ?R)就是一个永假式 永真式的性质：若公式A是永真式，并且P1，P2，…，Pn是出现于A中的变元，若用公式B代换A中的原子变元P