离散数学导论课件.pptVIP

离 散 数 学 导 论 王元元 张桂芸 科学出版社 第一、二章 2、命题及其真值的判定. 3、命题公式的符号化 1、命题逻辑的五个联结词 ┐，∨，∧，?, ?及真值表. 4、命题公式的类型：（1）永真式；（2）可满足式；（3）永假式. 很显然，永真式是可满足式，非永真式未必是永假式，而当A是永真式（永假式）时, ┐A必为永假式（永真式）. 命题公式的类型可用以下方法判定： （1）真值表的方法 （2）利用已知永真式及代入、替换原理进行等价推演的方法. （3）利用主析取范式和主合取范式的方法. 5、命题公式的范式（主析取范式、主合取范式）, 求命题公式的范式的方法: （1）利用真值表的方法. （2）等价推演的方法. 例. 命题公式的范式. 设命题公式为 (1). 求出该公式的真值表. (2). 求该公式的主析取范式和主合取范式. (3). 判断该公式的类型. 解 (1).公式A的真值表为 (2).公式A的主析取范式为： 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 A r q p (3).由真值表可知，公式A为可满足式. 主合取范式为： 0 1 1 1 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 A r q p 5、谓词公