第一章节—命题逻辑幻灯片.ppt

* * * * * * 1.6 推理理论 推理是从前提推出结论的思维过程，前提是指 已知的命题公式，结论是从前提出发应用推理 规则推出的命题公式，前提可多个，由前提 A1，A2，…Ak推出结论B的严格定义如下： 定义1.22 若(A1∧A2∧…∧Ak)?B 为重言式，则称A1，A2，…Ak，推结论B的结论正确，B是A1，A2，…Ak，的逻辑结论或有效结论，称(A1∧A2∧…∧Ak)?B 为由前提A1，A2，…Ak推结论B的推理的形式结构。 第一章 命题逻辑 同用 “A?B” 表示 “A ? B” 是重言式, 类似用 “A?B” 表示“A?B”是重言式， 由前提A1，A2，…Ak推B的推理正确 也记(A1∧A2∧…∧Ak) ? B 对于任一组赋值，前提和结论的取值有以下四种情况： ① {A1，A2，…Ak}为0，B为0。 √ ② {A1，A2，…Ak}为0，B为1。 √ ③ {A1，A2，…Ak}为1，B为0。 × ④ {A1，A2，…Ak}为1，B为1。 √ 推理的另一种形式： 命题公式A1，A2，…Ak推B的推理正确当且仅当 (A1 ∧ A2 ∧ … ∧ Ak) ?B 为重言式。 于是推理的一般形式可转化为： (A1 ∧ A2 ∧ … ∧ Ak) ?B 推理正确转化为： A1 ∧ A2 ∧ … ∧ Ak ? B 第一章 命题逻辑 于是，以后推理的形式就写作： 前提：p , p ? q 结论：q 推理的形式结构： (p ∧(p ? q)) ?q 即只需证明蕴涵式(p ∧(p ? q)) ?q为重言式。 三种方法： 1、真值表法； 2、等值演算法； 3、主析取范式法。 第一章 命题逻辑 例1.23：判断下列推理是否正确。 1.今天杨尚树或去网吧或去教室。他没去教室，所以他去网吧了。 设 p：杨尚树去网吧。q：杨尚树去教室。则， 前提：p ∨ q , ? q 结论：p 推理的形式结构： ((p ∨ q) ∧? q) ?p 第一章 命题逻辑 p q p ∨ q ? q (p ∨ q) ∧ ? q ((p ∨ q) ∧ ? q) ?p 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 解法1：真值表法 该命题公式为重言式，说明推理正确，所以杨尚树去网吧 第一章 命题逻辑 解法2：等值演算法： ((p ∨ q) ∧ ? q) ?p ?((p ∧ ? q )∨ (q ∧ ? q)) ?p ?(p ∧ ? q ) ?p ? ? (p ∧ ? q ) ∨ p ? ? p ∨ q ∨ p ? 1 所以，推理正确，即（(p ∨ q) ∧? q) ? p 第一章 命题逻辑 例1.24：判断下列推理是否正确。 2、若a能被4整除，则天下雨。现天下雨。 所以a能被4整除。 设 p： a能被4整除。q：天下雨。则， 前提：p ? q , q 结论：p 推理的形式结构： ((p ? q) ∧ q) ?p 答案： 此推理不正确。 第一章 命题逻辑 解：真值表法 p q p ? q (p ? q)∧q ((p ? q))∧q ?p 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 经过长期的研究推理，人们发现一些重要的重言蕴涵 式，我们将这些重言蕴涵式称为推理定律。 第一章 命题逻辑 例1.25： 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以明天是5号. 解 设 p：今天是1号，q：明天是5号. 证明的形式结构为: (p?q)ùp?q 证明（用等值演算法） (p?q)ùp?q ? ?((?púq)ùp)úq ? ?pú?qúq ?