离散数学4_3[2014_11_10].pptVIP

* * * * * * * * * * * * * * * * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 4.3 命题逻辑推理 推理：从前提出发推出结论的思维过程。 前提：已知的命题公式； 结论：由前提出发运用推理规则所推出的命题公式。 直观例子： 前提： 若下午气温超过30?C，则王小燕必去游泳。 若王小燕去游泳，那她就不去看电影了。 王小燕没去看电影。 结论： 下午气温必超过了30?C。 该推理是错误的！ 什么样的推理才是正确的？ 有效推理 定义4.20 给定命题公式A1,A2,…,An和B， 如果对于任一赋值来说， A1,A2,…,An为真时必然有B为真， 则称从公式A1,A2,…,An到公式B是一个有效推理， 也称从公式A1,A2,…,An到公式B的推理是有效的或正确的。 其中，称公式A1,A2,…,An是推理的前提， 称公式B是该前提的有效结论。 记为A1, A2,…,An╞ B。 有效结论 定理4.4 B是前提A1, A2, ?,An的有效结论 (即A1, A2,…,An╞ B) 当且仅当 公式(A1? A2??? An)?B是永真式。 定理4.5 B是前提A1, A2, ?,An的有效结论， 当且仅当 公式A1?A2???An??B是矛盾式。 重言蕴含式/永真蕴含式 定义4.21 如果公式A?B是永真式， 则将其称为“重言蕴涵式”或“永真蕴涵式”， 表示为A?B。 注意： A?B表示公式A?B为永真式。 A?B表示公式A?B为永真式。 有效结论 定理4.4 B是前提A1, A2, ?,An的有效结论 (即A1, A2,…,An╞ B) 当且仅当 公式(A1? A2??? An)?B是永真式， 当且仅当 (A1? A2??? An)?B是永真蕴含式， 当且仅当 (A1? A2??? An)?B。 例4.30 判断下面蕴含式是否为永真蕴含式？ ① A?B?A ② ?(A?B)?A ③ ?(A?B) ??B ④ A?(A?B) ?A ⑤ ?B?(A?B) ??B ⑥ (A?B)?(B?C)?(A?C) 解: 可用方法有： （1）利用等值演算； （2）利用主析取范式； （3）利用真值表。 4.3.2 简单证明推理 例.　判断下面的推理是否正确： 若a是偶数，则b是奇数。或者a是偶数，或者a整除b。 a是偶数。所以，b不是奇数。 解：先对其符号化。 p：a是偶数，q：b是奇数，r：a整除b。 前提：p?q, p?r, p 结论：?q。 求证 p?q, p?r, p ╞ ?q 真值表法 等值演算法 主析取范式法/主合取范式法 构造证明法 (4.3.3) 判断推理是否正确(真值表法) 所需证明的推理为：A1, A2, ?, Ak╞ B 转换为判断(A1? A2? ?? Ak)?B是否为永真式。 例子： {p?q, p?r, p}??q 110和111是成假赋值。 所以，(p?q)?(p?r)? p??q不是永真式； 因此，推理不正确。 p　q　r (p?q)?(p?r)? p??q 0　0　0 0　0　1 0　1　0 0　1　1 1　0　0 1　0　1 1　1　0 1　1　1 1 1 1 1 1 1 0 0 判断推理是否正确(等值演算法) 所需证明的推理为：A1, A2, ?, Ak╞ B 通过等值演算，若公式(A1? A2? ?? Ak)?B?1，则说明推理正确；否则推理不正确。 例子： {p?q, p?r, p}??q (p?q)?(p?r)? p??q ? (p?q) ? p??q ? ?((?p?q)? p)??q ? ?(p?q)??q ? ?p??q 存在两个成假赋值：110和111。 所以，(p?q)?(p?r)? p??q不是永真式； 因此，推理不正确。 判断推理是否正确(主析取范式法) 所需证明的推理为：A1, A2, ?, Ak╞ B 若公式(A1? A2? ?? Ak)?B的主析取范式含全部2n个极小项，则说明推理正确。否则推理不正确。 例子： {p?q, p?r, p}??q (p?q)?(p?r)?