命题逻辑教学课件.pptVIP

命题逻辑 三、命题的种类 直言命题 简单命题 关系命题 非模态命题 联言命题 选言命题 复合命题 假言命题 命题 负命题 真值模态命题 模态命题 规范模态命题 现在回过头来看看关于法布尔和哥伦布的推理。“只有有极强的观察力，才能进行出色的观察，法布尔如果没有极强的观察力，他就不能够进行那样出色的观察”是“否前否后”式，“只有有极强的观察力，才能进行出色的观察。法布尔进行了出色的观察，所以法布尔有极强的观察力”是“肯后肯前”式，这是两种正确的方式。如果有人说“只有有极强的观察力，才能进行出色的观察，张三有极强的观察力，所以他能够进行出色的观察”，采取了由肯定前件而肯定后件的方式，小前提肯定了大前提的前件，结论便肯定了大前提的后件。这个结论是不可靠的，因为有极强的观察力，但是没有时间、没有观察条件，他什么也观察不了，就不可能进行出色的观察。 可见有极强的观察力只是一个必要条件，没有这个条件不行，有这个条件却不一定行。如果有人说“只有有极强的观察力，才能进行出色的观察，张三不能进行出色的观察，所以张三没有极强的观察力”，采取了由否定后件而否定前件的办法，也是错误的。因为不能进行出色的观察，原因是多方面的，不一定是没有极强的观察力。 巧媳妇智斗县太爷 有一个动人的传说，某地一位老翁为自己的儿子娶了个聪明贤慧的媳妇。消息传到县城里，县太爷既羡慕又恼恨，决意前去找老翁的麻烦。 一天，县太爷来到老翁的家，气势汹汹地对老翁说：“你的媳妇不是聪明绝顶吗?现在我有三件事情你得在三天里为我办好，如办不好，拿你是问。这三件事是：第一，给我找到一头公牛生的牛犊来；第二，给我把整个大海都灌满青油；第三，给我扯一块能遮得住整个蓝天的黑布。”老翁一听就急得傻了眼，这些是根本就不可能的事，如何能办得到？因而整天愁眉苦脸，茶饭不思。媳妇见公公这种样子，便前去问个究竟， 老翁把上面的事向媳妇说了一遍，媳妇便笑着说：“原来为的是这事呀!那没事，到时候我来应付。” 三天的期限很快到了，县太爷领着一班喽哆来到老翁家里。巧媳妇把公公打发上床睡好以后，便出来招呼县太爷。 “你公公呢?”县太爷问。 “他正在床上生孩子呢!”“混账!男的怎么会生孩子?”县太爷欲呈淫威。 “既然男的不能生孩子，凭什么要我拿出公牛生的牛犊子!”巧媳妇一点也不含糊。县太爷自知理亏，没话好说，只好圆场：“这件事就免了，那么灌满大海的青油呢?你给我拿出来!”“马上就拿，请你先把海水舀干。”巧媳妇从容不迫地说道。 “混账，那么多 的海水，怎么能够舀干?”县太爷又沉不住气了。“好啊，既然你不能够把海水舀干，我怎么能往海里灌青油呢?” “罢罢罢，这件事也免了，那么，遮得住蓝天的黑布，你扯好了没有?”县太爷无言以对，只好提起了第三件事。“马上去扯，不过得请你先把蓝天的尺寸量好。”巧媳妇提出了要求。 “混账，蓝天这么宽广无边，我如何去量它的尺寸?”县太爷无计可施。 “好啊，既然你不能量出蓝天的尺寸，我又如何去扯遮得住蓝天的黑布呢?”巧媳妇又把县太爷的话顶了回去。 县太爷黔驴技穷，只好灰溜溜地返回县城。 巧媳妇之所以能够诘难、战胜大权在握的县太爷，就在于她准确而有效地使用了三个必要条件假言推理。三个必要条件假言推理的完整形式为： 只有男人能生孩子，公牛才会生小犊； 男人不能生孩子（县太爷的反映）。 所以，公牛不能生小犊。? 只有先把海水舀干，才能往海里灌青油； 你不能把海水舀干。 所以，我无法往海里灌青油。 只有先量好蓝天的尺寸，才能为遮住蓝天扯布； 你不能先量好蓝天的尺寸。 所以，我不能为遮住蓝天扯布。 （2）肯定后件式 肯定后件式，就是在小前提中肯定必要条件假言命题的后件，结论中肯定它的前件的必要条件假言推理形式。 例如： ①  只有王某是国家审判