《离散数学》第2章 命题逻辑 -教学课件.ppt

*隐含了需要保证S中的公式是相容的???注:如果S中一部分公式就可以演绎出G,则再添加上S中剩余的公式,也是可以演绎出G的。*在命题逻辑中，对于含有有限个原子的命题公式来说，用真值表的方法，总可以在有限的步骤内确定它的真值，因此判定问题总是可解的。但是我们知道，这种方法并不理想，因为公式每增加一个原子，真值表的行数就增加一倍。为了给出另一种方法，我们将介绍命题公式的一种标准形式，即范式，两个命题公式是否等价及一个公式是否恒假(或恒真)的判定，都将由公式的范式来解决。************在定理2.4.2的证明中，实际上已经给出了求公式的主析取范式的方