20172017第二学期工程数学三总复习.docVIP

离散数学复习（2014.6） 第11章 一、命题及命题的符号化 例：(1) 下列语句不是命题的是 。 A：11+1=100； B：地球外的星球上有人； C：朝鲜的首都是汉城； D：我在撒谎。 （2）如果我上街，我就去书店看看，除非我很累。 P：我上街，Q：我去书店看看，R：我很累 (3) 他要么是山东人，要么是东北人。 P：他是山东人，Q：他是东北人 （3.1）他不可能既是山东人又是东北人。 （4）小张和小王至多只有一人能获奖。 二、判断命题公式的类型 例：判断下列公式的类型(永真，永假，可真可假（可满足公式）)。 （﹁P∨Q）∧（﹁（﹁P∧﹁Q）） ﹁Q∧（P→Q）→﹁P 三、命题公式及其应用（主析取范式的求法及其应用）。 要从P，Q，R这3人中挑出几位选手参加围棋比赛，但必须满足下列3个条件：(1) P和Q仅一个人参加；（2）Q和R至多参加一个人；（3）若R不参加，则P也不参加。问有几种选择方案？分别选哪些人？ 四、永真蕴含式及其在推理中的应用 （1）只要小王曾经到过失窃者的房间并且11点前没有离开，小王就犯了盗窃罪。小王曾经到过失窃者的房间。如果小王在11点前离开，看门会看到他。看门人没有看到他。所以小王犯了罪。 五、谓词演算 （概念，命题定律和永真蕴含式，推理规则） （1）凡是有理数都可表示成分数 Q(x)：x是有理数，F(x)：x可