蕴含公式.pptVIP

 第一章 命题逻辑 回 顾 方法二：由于原 命题等值于其逆反 命题，即 A→B?┐B→┐A ，所以用分析法证明A?B ， 有如下两种方法: (1) 假设前件A为真时, 推出后件B也为真, 则A?B ; (2) 假设后件B为假时, 推出前件A也为假, 则A?B 。 推理理论 定义1-27 设 是命题公式，当且仅当 则称C是前提集合 的有效结论。 判别有效结论的过程就是论证的过程，论证方法千变万化，但基本方法是真值表法、直接证法和间接证法。 （二）构造证明法 (1)推理规则 常用的推理规则有： P规则： 在推导的任意一步都可以引入一个前提。 T规则： 如果公式S等价于或被重言蕴含在一个或多个前提或中间结果命题中，则推导中可以引入S。 CP规则： 如果能从R及一组前提推导出C，则可从这组前提推导出R→C。 　　　 设前提 若 　　　　 则 （3）推理方法 ①直接证明法 利用推理规则和已知的等价式和蕴含式，从前提集合中直接推导出有效结论。 例1-29 证明 证明： 前提：如果马会飞或羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑。 结论：羊不吃草。 （注意：一般以分号“；”或句号“。”表示 一个完整独立的前提语句） 证明： (1) ?S P (2)R?S P (3)?R T(1),(2) I (4)P∨Q?R P (5)?(P∨Q) T(3),(4) I (6)?P∧?Q T(5) E (7)?Q T(6) I 例1-31 张三说李四在说谎，李四说王五在说谎，王五说张三、李四都在说谎，问张三、李四、王五三人到底谁说真话，谁说假话？ 解: 设 P：张三说真话; Q：李四说真话; R：王五说真话,则依题意可得前提: 【案例】公安局审理一起盗窃案,已知: （1）甲或乙盗窃了电脑。 （2）若甲盗窃电脑，则作案时间不可能发生在午夜前。 （3）若乙证词正确，则在午夜时屋里灯光未灭。 （4）若乙证词不正确，则作案时间发生在午夜前。 （5）午夜时屋里灯光灭了。 问：谁是盗窃犯？ 解: 设p：甲盗窃了电脑， Q：乙盗窃了电脑， R：作案时间发生在午夜前， S：乙证词正确， T：午夜时屋里灯光灭了。 前提：p∨Q ，p→┐R ，S→┐T ，┐S→R，T 推理过程如下： ② 间接证明法 1.间接证明法1 设前提集合为 如果 ，则 为1。 因为 ，所以 为1。 又因为 ， 为永真式， 为矛盾式。所以只要证明 为矛盾式，则论证有效。 方法：在推导过程中，将结论的否定作为附加前提引入，与前提一起推导出矛盾的结果。 例 推理证明 证明： 练习 在意甲比赛中，假如有四只球队，其比赛情况如下： 如果国际米兰队获得冠军，则AC米兰队或尤文图斯队获得亚军；若尤文图斯队获得亚军，国际米兰队不能获得冠军；若拉齐奥队获得亚军，则AC米兰队不能获得亚军；最后，国际米兰队获得冠军。所以，拉齐奥队不能获得亚军。 证明? 首先将命题符号化，设 P：国际米兰队获得冠军； Q：AC米兰队获得亚军； R：尤文图斯