第三单元 复合命题及其推理.pptVIP

几种特殊推理形式： 例子： 如果上帝能造出一块他自己举不起来的石头，那么说明上帝不是万 能的； 如果上帝不能造出一块他自己举不起来的石头，那么说明上帝不是 万能的； 上帝或者能造出一块他自己举不起来的石头，或者不能造出一块他 自己举不起来的石头；总之，上帝不是万能的。 p ? r q ? r p ? q ∴ r * 例子： 如果李四想得到从宽处理，那么他要坦白交代自己的罪行； 如果李四想得到从宽处理，那么他要揭发同伙的罪行； 李四不坦白交代自己的罪行，或者不揭发同伙的罪行； 所以，李四不想得到从宽处理。 p ? q p ? r ?q ? ?r ∴ ?p * ③破斥二难推理的常用方法 方法一：指出该二难推理的推理形式无效 例如： 如果某人经济上犯罪，那么要受到法律制裁； 如果某人政治上犯罪，那么要受到法律制裁； 某人经济上没犯罪或者政治上没犯罪； 所以，某人不会受到法律制裁。 方法二：指出该二难推理的前提不真实 包含两种情况：一是假言前提的前、后件之 间不存在条件关系，二是选言前提的选言支 没有穷尽。 注意：这种方法不是从推理形式上破斥二难推理，而是考虑到了具体背景。 * 方法三：提出一个与原二难推理结论相反的二难推理 例如：古希腊有一个名叫欧提勒士的人，他向著名的辩者普罗达哥 拉斯学法律。两人曾订有合同，其中约定在欧提勒士毕业时付一半 学费给普罗达哥拉斯，另一半学费则等欧提勒士毕业后头一次打赢 官司时付清。但毕业后，欧提勒士并不执行律师职务，总不打官司 。普罗达哥拉斯等得不耐烦了，于是向法庭状告欧提勒士，他提出 了以下二难推理： 如果欧提勒士这场官司胜诉，那么，按合同的约定，他应付给我另一半学费；如果欧提勒士这场官司败诉，那么按法庭的判决，他也应付给我另一半学费；他这场官司或者胜诉或者败诉，所以，他无论是哪一种情况都应付给我另一半学费。 * 而欧提勒士则针对老师的理论提出一个完全相反的二难推 理：如果我这场官司胜诉，那么，按法庭的判决，我不应 付给普罗达哥拉斯另一半学费；如果我这场官司败诉，那 么，按合同的约定，我也不应付给普罗达哥拉斯另一半学 费；我这场官司或者胜诉或者败诉，所以我不应付给他另 一半学费。“半费之讼” * 练习： ①证明： ?(p ? q ? r) ? p ? ?q ? ?r ②证明： p ? q ? (p ? ?q) ? (q ? ?p) · * ①证明： ?(p ? q ? r) ? ? (( ? p ) ? ( q ? r ) ) ? ?(? p ? q ? r ) ? (? ? p ) ? (?q ) ? (?r ) ? p ? ?q ? ?r * ②证明： p ? q ? (p ? q) ? ? (p ? q) ? (p ? q) ? (?p ? ? q) ? (p ? (?p ? ?q) ) ? (q ? (?p ? ?q) ) ?((p ? ?p) ? (p ? ?q)) ? ((q? ?p) ? (q? ?q)) ? ( ⊥ ? (p ? ?q) )? ((q? ?p) ? ⊥) ?(p ? ?q) ? (q ? ?p) · * 例题：大小行星悬浮在太阳系边缘，极易受附近星体引力作用的影响。 据研究人员计算，有时这些力量会将彗星从奥尔特星云拖出。这样，它 们更有可能靠近太阳。两位研究人员据此分别作出了以下两种有所不同 的断定：一、木星的引力作用要么将它们推至更小的轨道，要么将它们 逐出太阳系；二、木星的引力作用或者将它们推至更小的轨道，或者将 它们逐出太阳系。如果上述两种断定只有一种为真，可以推出以下哪项 结论？ A. 木星的引力作用将它们推至最小的轨道，并且将它们逐出太阳系。 B. 木星的引力作用没有将它们推至最小的轨道，但是将它们逐出太阳系。 C. 木星的引力作用将它们推至最小的轨道，但是没有将它们逐出太阳系。 D. 木星的引力作用既没有将它们推至最小的轨道，也没有将它们逐出太 阳系。 * 7、假言命题及其推理 （1）定义：陈述某一事物情况是另一事物情况的条件的命题，又称为 条件命题。构成假言命题的支命题叫做假言支。其中，构成条件的假言 支叫做假言命题的前件，受条件制约的假言支叫做后件。 例如：“如果李某还拿不出新的证据，那