1、逻 辑 学,欢迎进入逻辑殿堂！,主讲：付 敏,二一一年,澳门科技大学通识教育部,第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第一节 复合命题概述,复合命题(compound proposition) ：包含其他命题的命题,肢（支、枝）命题：被复合命题包含的命题（变项）,联结词（connective）：联结肢命题的逻辑常项,复合命题的构成,例：亚里士多德是哲学家并且亚里士多德是逻辑学家,要点：1. 肢命题至少一个，多则不限，但不能无穷；2. 肢命题可以是简单命题也可以是复合命题；3. 联结词是
2、确定命题种类的标志。,并非（只有得了肺炎才会发烧）,研究复合命题及其推理的逻辑 命题逻辑,第一节 复合命题概述,复合命题的逻辑特性,肢命题的真假决定复合命题的真假。,1真（t） 0假（f）,例：并非 9是善良的。 善有善报并且恶有恶报。,第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第二节 负命题及其推理 负命题,负命题：否定某个命题的命题。（任何一个命题都有与其对应的负命题）,逻辑形式：并非 p（not p）,一元联结词：并非； 并不是.；是错的； 等等 not； it is not tha
3、t .；it is not the case that.,符号表达： p （读作：“非p”，“并非p”， “not p”）,逻辑特性,要点：肢真负假，肢假负真1. 若p为真，则 p为假2. 若p为假，则 p为真,等值（equivalent）关系：每一行都同真、同假。 矛盾（contradictory）关系：每一行都不同真、不同假。,双重否定律(Law of Double Negation) p (p) 读作：“p 等值于 非非p”,第二节 负命题及其推理 负命题,负命题推理：前提或结论是负命题，依据负命题之逻辑特征所进行的必然性推理。,有效式,1. p p,例：中国人民是勤劳的，所以，并非中国
4、人民不是勤劳的。,2. p p,例：并非上帝不是全能的，所以，上帝是全能的。,规则：任一命题与其双重否定命题必然互推。pp （读作： p与p 必然互推）,等值置换（intersubstitute）：等值的命题在推导过程中可相互替换。,(“”读作：“推出”,“必然推出”),第二节 负命题及其推理 负命题推理,第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第三节 联言命题及其推理 联言命题,联言（conjunction）命题：陈述若干事物情况同时存在的命题,逻辑形式： p 并且 q （p and
5、q）,联结词：并且； 虽然.但是；不但而且；等.and.； not only. but also.，.but.；et.,符号表达： p q （读作：“p 合取 q” ）,例：师者，传业、授道、解惑者也。你可以侮辱我的人格，但不能侮辱我的智商。廉颇老矣，尚能饭否,联言肢（conjuncts）：至少两个,例：“不错！我就是美貌与智慧并重，英雄与侠义的化身唐伯虎。”,张思德是一个高尚的人，一个纯粹的人，一个脱离了低级趣味的人，p q r 一个有益于人民的人。s,逻辑形式：p q r s,令 p 表示：张思德是一个高尚的人q 表示：张思德是一个纯粹的人r 表示：张思德是一个脱离了低级趣味的人s 表示：
6、张思德是一个有益于人民的人,第三节 联言命题及其推理 联言命题,联言命题的逻辑特性,要点：一假即假，全真才真1. p真且q真，则p q为真2. p假或q假，则p q为假,例：学生甲品学兼优 甲品德高尚并且甲学习优秀。,第三节 联言命题及其推理 联言命题,1. 真值表的行数取决于命题变项的数量：n个变项，则有2n 行； 2. 真值表的列数取决于命题的复杂程度。,例：列出(p q r)的真值表,第三节 联言命题及其推理 联言命题,有效式,p q p p q q,1. 分解式：,要点：合取真则肢肢真 1. p q真，则 p 为真 2. p q真，则 q 为真,联言（命题）推理：前提或结论为联言命题,
7、依据联言命题特性进行的推理。,p ，q p q,2. 组合式：,要点：肢全真，则合取真p真且q真，则p q为真,规则：1. 从联言命题必然推出其任一肢命题；2. 从某些命题必然推出由它们组成的联言命题。,第三节 联言命题及其推理 联言推理,无效式,p p q q p q,要点：前提中未肯定的命题不能成为结论中的联言肢。,p p q q p q,例：疑犯甲有作案动机，所以，疑犯甲有作案动机并且做了案。,记作,第三节 联言命题及其推理 联言推理,第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第四节
8、 选言命题及其推理 相容,选言（disjunction）命题：陈述若干事物情况至少有一种存在的命题。,相容选言命题：陈述若干事物情况可以同时存在的选言命题。,例：盗窃犯或者是甲，或者是乙，或者是丙。,相容选言命题,不相容选言命题,第四节 选言命题及其推理 相容,逻辑形式： p 或 q （p or q）,联结词：或者； 或许.或许；可能可能；.or.； maybe. maybe .；et.,符号表达： p q （读作“p (相容)析取 q” ）,析取肢（disjuncts）：至少两个,例：小王或者善良，或者聪明，或者勤劳，或者诚实。p q r s,逻辑形式：p q r s,第四节 选言命题及其推
9、理 相容,选言命题的逻辑特性,要点：一真即真，全假才假1. p真，则 pq 为真2. q真，则 pq 为真3. p假且q假，则pq 为假,例：或者硬件有问题，或者软件有问题。,第四节 选言命题及其推理 相容,有效式,pq , p q pqr, q pr,1. 否定肯定式：,相容选言（命题）推理：前提或结论有一个选言命题，依据选言命题特性进行的必然性推理。,规则：1. 从析取命题及其某部分肢命题的负命题，必然推出另一部分肢命题。2. 从某一命题必然推出它与任一命题所组成的析命题取。,p pq pq pqr,2. 附加律：,例：一国灭亡，或因内忧，或因外患。,第四节 选言命题及其推理 相容,无效式
10、,pq , p q pq , p q,规则：肯定一部分选言肢不能否定（或肯定）另一部分选言肢。,例：小张、小王或者小李考上了科大。小张考上了科大。所以，小王和小李没考上科大。（所以，小王和小张考上了科大。）,pq , p q pq , p q,记作,第四节 选言命题及其推理 不相容,不相容选言命题：陈述若干事物情况只有一种存在的选言命题。,例：不是东风压倒西风，就是西风压倒东风。要么为玉碎，要么为瓦全。或要社会主义的草，或要资本主义的苗，二者不可得兼。,逻辑形式：要么 p, 要么 q （either p , or q）,联结词：要么.要么；不是就是；或者或者, 二者不可得兼；等等。either
11、.or.； et.,第四节 选言命题及其推理 不相容,析取肢（disjuncts）：至少两个,例：付老师来澳门，要么步行，要么游泳，要么飞翔，要么乘坐交通工具。,令 p 表示：付老师步行来澳门。q 表示：付老师游泳来澳门。r 表示：付老师通过飞翔来澳门。s 表示：付老师乘坐交通工具来澳门。,第四节 选言命题及其推理 不相容,逻辑特性,第四节 选言命题及其推理 不相容,思考：完成下列真值表,第四节 选言命题及其推理 不相容,有效式,1. 肯定否定式：,不相容选言（命题）推理：前提有一个不相容选言命题，依据选言命题特性进行必然性推理。,规则：1. 从不相容析取命题及其某部分肢命题，必然推出另一部分
12、肢命题的负命题。2. 从不相容析取命题及其某部分肢命题的负命题，必然推出另一部分肢命题。,2. 否定肯定式：,例：不在沉默中爆发，就在沉默中消亡。,第四节 选言命题及其推理 不相容,思考：用真值表检验下列推理是否有效,1. 析取定义律： (pq ) ( p q ) P22真值表,选言命题等值式相容,2. 合取定义律： (pq ) ( p q ),3. 德摩根律： (pq ) ( p q ),(pq ) ( p q ),4. 交换律：(p q ) (q p),(p q ) (q p),5. 重言律：(p p) p,(p p) p,第四节 选言命题及其推理 等值式,选言命题等值式相容,6. 结合律
13、：(p q )r ) (p r )(q r ),(p q )r ) (p r )(q r ),7. 分配律：(p (qr ) (p q )(p r ),(p (qr ) (p q )(p r ),第四节 选言命题及其推理 等值式,选言命题等值式不相容,第四节 选言命题及其推理 等值式,第四节 选言命题及其推理,思考：,4. 意外考试疑难,3. “附加律”是否成立？,第四节 选言命题及其推理,答案：,3. “附加律”是否成立？,2. p q r, r pq, (pq)(pq), (pq)，或者 (pq), (p q) (p q),第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推
14、理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第五节 假言命题及其推理,假言(conditional)命题：陈述某一事物情况的（不）存在是另一事物情况（不）存在的条件的命题。,充分条件 假言命题,必要条件 假言命题,充分必要条件假言命题,第五节 假言命题及其推理,假言命题命题的构成：,例：如果给我一个支点，那么我就能撬起整个地球。只有得到一个支点，我才能撬起整个地球。我能撬起整个地球，当且仅当，我得到一个支点。,前件(antecedent)：作为条件的命题。 vs. 前提（premise） 后件(consequence): 作为后承的命题。vs. 结论（co
15、nclusion） 联结词：充分，必要，充分必要,第五节 假言命题及其推理 充分条件,逻辑形式： 如果p， 那么 q （if p , then q）,联结词：如果 ，那么； 只要.，就；若，则; 因为，所以；等。If (only)., (then). ；et.,符号表达： p q （读作“ p 蕴涵 q ” ，“ p implies q”）,充分条件假言命题： 前件为后件的充分条件的假言命题。,例：“如果帅是一种罪，那我已经罪恶滔天；如果酷是一种错，那我已经一错再错。”,第五节 假言命题及其推理 充分条件,充分条件假言命题,例：,第五节 假言命题及其推理 充分条件,充分条件假言命题的逻辑特性,
16、要点：前真后假则假，其余为真1. p真且q假，则 p q 为假2. p q 为真，则 p 为假或q 为真,例：“如果上天能够给我一个再来一次的机会，我会对那个女孩子说三个字：我爱你。如果非要在这份爱上加上一个期限，我希望是 一万年！”,真 话 or 谎 言?,第五节 假言命题及其推理 充分条件,有效式,1. 肯定前件式：,充分条件假言（命题）推理：前提有一个充分条件假言命题，依据充分条件假言命题特性进行的必然性推理。,p q , p q,例：,第五节 假言命题及其推理 充分条件,有效式,规则：1. 由充分条件假言命题及其前件，必然推出其后件。2. 由充分条件假言命题及其后件的负命题，必然推出其
17、前件的负命题。,2. 否定后件式：,p q , q p,例：,第五节 假言命题及其推理 充分条件,无效式,例：,记作,p q , p q p q , p q,1. 否定前件,p q , p q p q , p q,第五节 假言命题及其推理 充分条件,无效式,规则：1. 否定前件不能否定（或肯定）后件；2. 肯定后件不能肯定（或否定）前件。,记作,p q , q p p q , q p,2. 肯定后件,p q , q p p q , q p,例：,第五节 假言命题及其推理 充分条件,无效式,如果我有一千万，我就能买一栋房子。 我有一千万吗？没有。 所以我仍然没有房子。 如果我有翅膀，我就能飞。
18、我有翅膀吗？没有。 所以我也没办法飞。 如果把整个太平洋的水倒出， 也浇不熄我对你爱情的火 。 整个太平洋的水全部倒得出吗？不行。 所以我并不爱你。 痞子蔡第一次亲密接触轻舞飞扬写给痞子蔡,第五节 假言命题及其推理 充分条件,无效式,如果我是诗人，我会每天写一首诗送给你 我是诗人吗？ 不是。 所以至今我仍然写不出一首好诗来 如果我是白雪公主，那么我要做你的女友 我是白雪公主吗？ 不是。 所以至今我仍然不能与你分享幸福 如果把整条绣江的水倒出，也浇不熄我对你爱的火焰 整条绣江的水能倒出吗？ 不能。 所以我还是爱你网络爱情逻辑，仿痞子蔡,第五节 假言命题及其推理 充分条件,无效式,如果我还有一天寿
19、命，那天我要做你女友。 我还有一天的命吗？没有。 所以，很可惜。我今生仍然不是你的女友。 如果我有翅膀，我要从天堂飞下来看你。 我有翅膀吗？没有。 所以，很遗憾。我从此无法再看到你。 如果把整个浴缸的水倒出，也浇不熄我对你爱情的火焰。 整个浴缸的水全部倒得出吗？可以。 所以，是的，我爱你。网络爱情逻辑，仿痞子蔡,第五节 假言命题及其推理 充分条件,阿拉哥王和穆罕默德两个人自觉肚里墨水太少，经常胡说八道，一直为此被朋友讥笑，决定一起去读大学。经过一番努力，终于都考进了一家知名大学，阿拉哥王不知道选什么课好，就去问指导教授，穆罕默德在外面等他。见到了教授，阿拉哥王提出了问题，老教授对阿拉哥王上下打
20、量了一番，说：“我建议你先选修数学，历史，和逻辑这三门课。”“数学和历史我知道,可是逻辑是讲什么的？”，阿拉哥王问。“我举个例子：请问你自己有没有割草机？”，教授很和气地讲。“有啊。”“那么，我就可以推论，既然你有割草机，你就一定有一块草坪”， 教授说。“对,我家确实有一块草坪”，阿拉哥王回答道 。“如果你有草坪，逻辑告诉我，你就一定有一套房子”，教授继续道。“一点不错！”阿拉哥王感到十分惊奇。,第五节 假言命题及其推理 充分条件,“你买了一套带草坪的房子，我认为，你一定是为了打算结婚才这么做的。”教授断定。“妙极了，我才结的婚。”“要是你结婚了，你一定有个妻子。”教授继续做逻辑推理。“是啊，
21、我很爱我的妻子。”阿拉哥王回答。“如果你有妻子的话,根据逻辑，你一定是个异性恋”，教授得出结论。“这太妙了，我一定要学逻辑，请问什么时候可以开始上课？”阿拉哥王迫不及待地问。碰到穆罕默德，阿拉哥王第一句话就说，“我要去学逻辑！”“这逻辑是什么玩艺？” 穆罕默德抓了抓头皮，问道。“是这样的，比如，嗯请问你有没有割草机？”阿拉哥王问穆罕默德。“没有！”穆罕默德答道。话音未落，只看阿拉哥王已抱头狂奔，一边大叫：“碰到变态啦，同性恋啊！”,第五节 假言命题及其推理 充分条件,教授：若你有割草机，则你是个异性恋者 你有割草机，所以，你是个异性恋者,阿拉哥王：若你有割草机，则你是个异性恋者你没有割草机所以
22、，你不是个异性恋者,第五节 假言命题及其推理 充分条件,所谓“充分条件”，只要具备该条件，就足以产生该结果。,第五节 假言命题及其推理 必要条件,逻辑形式： 只有p， 才 q （q , only if p ）,联结词：只有 ，才； 除非（不）.，不；没有, 就没有；等。 ., only if. ; no., no. ; et.,符号表达： p q （读作“ p 逆蕴涵 q ” ）,必要条件假言命题： 前件为后件的必要条件的假言命题。,例：不入虎穴，焉得虎子。 No pains no gain.不 当家 不 知柴米贵，不 养儿 不 知父母心。p q r s,(p q)(r s),第五节 假言命题
23、及其推理 必要条件,必要条件假言命题的逻辑特性,要点：前假后真则假，其余为真1. p假且q真，则 p q 为假2. p q为真，则 p 为真或q 为假,例：1. （某人）只有尊重别人，才会得到别人的尊重。 2. 吃得苦中苦，方为人上人。3. 不到黄河不死心，不见棺材不掉泪，不到长城非好汉。,第五节 假言命题及其推理 必要条件,有效式,1. 否定前件式：,必要条件假言（命题）推理：前提有一个必要条件假言命题，依据必要条件假言命题特性进行的必然性推理。,p q , p q,第五节 假言命题及其推理 必要条件,有效式,规则：1. 由充分条件假言命题及其前件，必然推出其后件。2. 由充分条件假言命题及
24、其后件的负命题，必然推出其前件的负命题。,2. 肯定后件式：,p q , q p,第五节 假言命题及其推理 必要条件,无效式,1. 肯定前件：,规则：1. 肯定必要条件假言命题及其前件，不能必然肯定（否定）其后件。2. 否定必要条件假言命题及其后件，不能否定（肯定）其后件。,2. 否定后件：,记作,p q , q p p q , q p,记作,p q , p q p q , p q,p q , q p p q , q p,p q , p q p q , p q,第五节 假言命题及其推理 必要条件,例： 爷孙二人到北京，孙子指着北京的高楼大厦。孙子：爷爷，咱们干嘛不住到这儿来？爷爷：你好好念书。
25、只有念书念得好，才能住这样漂亮的高楼。孙子：爷爷，你一定没好好学习。,第五节 假言命题及其推理 必要条件,思考,是否正确？,是否正确？,第五节 假言命题及其推理 必要条件,解答,1. 只有颁发牌照，机动车才准予上路这个机动车上路所以，这个机动车已被颁发牌照, t p q r s t (p q r s t ),第五节 假言命题及其推理 必要条件,所谓“必要条件”：是每一个条件都是必不可少的，少了谁也不行，它们合起来共同产生一个结果。,s 种子发芽,条件（前件）,结果（后件）,第五节 假言命题及其推理 充分必要条件,逻辑形式： p，当且仅当， q （p , if and only if, p ）,
26、联结词：如果 ,那么,并且只有.,才；.,若且惟若, ；等。. If and only if（iff）,符号表达： p q （或 p q；读作“ p 等值于 q ” ）,充分必要条件假言命题： 前件为后件的充分必要条件的假言命题。,要点：前件和后件互为充分条件，且前件和后件互为必要条件。,例：一个理论是真理，当且仅当，它经得起实践的检验。 一个理论如果经得起实践的检验，那么它是真理；一个理论只有经得起实践的检验，它才是真理。,第五节 假言命题及其推理 充分必要条件,充分必要条件假言命题的逻辑特性,要点：前后等值为真，否则为假1. p、q同真（假），则 p q 为真2. p真(假)且q假(真)，
27、则p q为假,例：一个三角形是等边三角形，当且仅当，它是等角三角形。p q,第五节 假言命题及其推理 充分必要条件,有效式,1. 肯定前件式：,充分必要条件假言（命题）推理：前提有一个充分必要 条件假言命题，依据充分必要条件假言命题特性进行的必然性推理。,规则：1. 由充分必要条件及其前件（后件），必然推出其后件（前件）；2. 由充分必要条件及其前件（后件）的负命题，必然推出其后件 (前件) 的负命题。,2. 否定后件式：,p q , q p,p q , p q,3. 否定前件式：,4. 肯定后件式：,p q , q p,p q , p q,第五节 假言命题及其推理小结,假言命题等值式充分条件
28、,1. 蕴涵定义律：(p q ) (pq),2. 否定蕴涵律： (p q ) (pq),第五节 假言命题及其推理小结,假言命题等值式必要条件,1. 逆蕴涵定义律：(p q ) (pq),2. 否定逆蕴涵律：(p q ) (pq),3. 蕴涵逆蕴涵交换律：(p q ) (q p )(p q )( p q ),第五节 假言命题及其推理小结,假言命题等值式充分必要条件,1. 等值定义律：(p q )(pq )(pq)(p q )( p q )(p q),2. 等值交换律： (p q ) (q p),3. 否定等值律：(p q )(p q )(pq),第五节 假言命题及其推理小结,命题的逻辑特性,第五
29、节 假言命题及其推理小结,推理有效式、无效式,p p q,第五节 假言命题及其推理小结,负命题的等值推理,2. 联言命题负命题推理,(p q) ( p q),否定合取得析取，分配否定到变项,3. 相容选言命题负命题推理,(p q ) ( p q),否定析取得合取，分配否定到变项,德 摩 根 律,1. 负命题的负命题推理,(p) p,第五节 假言命题及其推理小结,负命题的等值推理,5. 充分条件假言命题负命题推理,4. 不相容选言命题负命题推理,(p q)(p q ),6. 必要条件假言命题负命题推理,7. 充分必要条件假言命题负命题推理,(p q)(p q),(p q)(p q )(p q),
30、第五节 假言命题及其推理其他推理,假言异位推理：前提和结论都是（同类）假言命题，依据假言命题逻辑特性进行的必然性推理。,逻辑形式：,p q q p, p q q p,要点：1. 保持原来的命题类型（联结词）不变；2. 原来作为前、后件的命题交换位置，并变为其负命题。,第五节 假言命题及其推理其他推理,假言异位推理：,思考：必要条件假言命题是否可假言异位 ？充分必要条件假言命题是否可假言异位 ？p q q p 是否是假言异位？,第五节 假言命题及其推理其他推理,假言连锁（ sorites 纯假言）推理：前提是若干（充分条件）假言命题，结论是一个（充分条件）假言命题，依据假言命题逻辑特性进行的必然
31、性推理。,例：“名不正则言不顺，言不顺则事不成，事不成则礼乐不兴，p q q r r s 礼乐不兴则刑罚不中，刑罚不中则民无所措手足，故君子名之必s t t e 可言也，言之必可行也，君子于其言，无所苟而已矣。”孔子论语正名篇 结论：名不正，则民无所措手足。,逻辑形式：,p q , q r p r,p q , q r r p,第五节 假言命题及其推理其他推理,假言连锁（ 纯假言）推理,例：“不过这样，我是一个感情很复杂的人，一个感情很复杂的人如果只爱你一个人的话，就会变得感情有缺陷，一个感情有缺陷的人，你就算永远地拥有他，也是没用的。” 结论：我（这个感情很复杂的人）如果只爱你一个人的话，就算
32、你永远地拥有我，也是没有用的。,例：有人就有恩怨，有恩怨就有江湖。人就是江湖，你怎么退出？ 笑傲江湖之东方不败 结论：如果有人，那么就有江湖。,第五节 假言命题及其推理其他推理,二难（ dilemma）推理：前提有两个充分条件假言命题、 一个相容选言命题，依据充分条件和选言命题的逻辑特性进行的必然性推理。,1. 简单构成式：,p q , r q , p r q,例：上帝是万能的吗？,p q , p q , p p q,第五节 假言命题及其推理其他推理,二难推理,例：一人在寻找真理，别人问他：“你真的不知道真理是什么吗？”那个人说：“当然！”别人又问：“你既然不知道真理是什么，当你找到真理的时候
33、，你又如何辨别出来呢？” “如果你辨别得出真理与否，那说明你已知道了真理是什么，又何来寻找呢？”,第五节 假言命题及其推理其他推理,二难推理,2. 复杂构成式：,p q , r s , p r q s,p q , p s , p p q s,第五节 假言命题及其推理其他推理,二难推理,3. 简单破坏式：,p q , p r , q r p,第五节 假言命题及其推理其他推理,二难推理,4. 复杂破坏式：,p q , r s , q s p r,第五节 假言命题及其推理其他推理,二难推理,第五节 假言命题及其推理其他推理,二难推理,5. 破斥错误的二难推理,（1）检查推理形式是否正确。,（2）检查
34、前提是否正确。,（3）检查是否构成“二难”。,（4）构造相反的二难推理。,第五节 假言命题及其推理其他推理,二难推理,例：学生宿舍区饮食管理委员会认为，快餐店的零售价格足够高了，因此，他们通知持有零售快餐许可证的快餐店，要保持目前的价格不变，否则将被吊销营业执照。 于是，这个通知给快餐店设置了一个两难选择，要么保持价格不变，要么吊销营业执照。,第五节 假言命题及其推理其他推理,二难推理,思考：半费之讼,据说古希腊智者普罗泰哥拉曾招收一位名叫欧提勒视的的学生跟他学诉讼。两人签有合同：欧提勒士毕业时付给普罗泰哥拉一半学费，另一半学费等欧提勒士第一次出庭打赢官司时付清。但是，欧提勒士毕业后一直不出庭
35、打官司，普罗泰哥拉等的不耐烦，诉诸法庭，向欧提勒士提出：,这个推理是否正确？ 如果不正确，如何驳斥,第五节 假言命题及其推理其他推理,二难推理,1. 构造反二难推理,2. 指出其推理本身的错误：标准不统一,不同的标准确定不同的语境。,第五节 假言命题及其推理其他推理,多难推理,富翁：我家财万贯，你怎么不奉承我？ 穷人：家财是你的，又不分给我，干嘛奉承你。 富翁：如果我把家产分给你两成，你该奉承我了吧？ 穷人：两成？分配不公，我不奉承你。 富翁：如果我把家产分一半给你，你该奉承我了吧？ 穷人：那样，我们就平起平坐了，我干嘛还要奉承你呢！ 富翁：如果我把家产全部送给你，这样你该奉承我了吧？ 穷人：
36、到那时，我富你穷，该你来奉承我了。,例：某人很穷，但从不奉承人。富翁不信。,第五节 假言命题及其推理其他推理,归谬推理（reduction to absurdity）：前提是两个充分条件假言命题，其前件相同，后件互为矛盾命题。,一般形式：,p q , p q p,特殊形式：,p (q q) p,第五节 假言命题及其推理其他推理,假言联言推理：前提由若干假言命题和一个联言命题构成，结论是一个联言命题。,1. 肯定形式：,p q , r s, p r q s,两次分解式:,p r p,p r r,两次肯定前件式:,p q , p q,r s , r s,一次组合式:,q, s q s,第五节 假言
37、命题及其推理其他推理,假言联言推理：,2. 否定形式：,p q , r s, q s p r,两次分解式:,q s q,两次否定后件式:,p q , q p,一次组合式:,p, r q r,q s s,r s , s r,第五节 假言命题及其推理其他推理,假言联言推理,第五节 假言命题及其推理其他推理,假言选言推理：前提由若干假言命题和一个选言命题构成。,1. 二难推理,2. 非二难的假言选言推理,第五节 假言命题及其推理其他推理,反三段论：如果两个前提能够推出一个结论，那么，如果结论不成立，且其中的一个前提成立，则另一个前提不成立。,逻辑形式：,(p q) r , r , (p q) p q
38、,(p q) r , p, r q,第五节 假言命题及其推理联结词的结合力,结合力的强弱是相对的, 最强，较强，和 较弱，和更弱，最弱,例：,(p q ) (pq) 去括号得： p q pq,(p q ) (pq) 去括号得： (p q ) pq,(p q ) p qp q,第五节 假言命题及其推理真值形式,永真式（重言式 tautology）,在真值表中取值恒真的真值形式：无论其变项取什么值，该真值式都为真。,永假式（矛盾式）,在真值表中取值恒假的真值形式：无论其变项取什么值，该真值式都为假。,逻辑真理（logical truth）,逻辑虚假（logical falsehood）,适真式（协
39、调式；可满足式 satiable/satisfiable formula）,在真值表中取值有真有假的真值形式。,区别：真命题 与 永真式假命题 与 永假式,第五节 假言命题及其推理真值形式,任何一个真值形式，要么是永真式，要么是永假式，要么是适真式,例：判定下列命题是否为真。如果成功只青睐有准备之人，那么若某甲获得了成功，则他一定是有准备之人。,第五节 假言命题及其推理真值形式,令：p 表示“某甲获得了成功”q 表示“某甲是有准备之人”该命题的形式可表达为(q p) (p q)，其真值情况如下表：,可见，该命题的形式永真，因而它为真。,例：判定下列命题是否为真。如果成功只青睐有准备之人，那么若
40、某假获得了成功，则他一定是有准备之人。,第五节 假言命题及其推理蕴涵怪论,实质蕴涵（material/substantive implication）：不考虑前、后件的内容联系，只考虑前、后件与蕴涵命题的真假关系，并满足如下真值表：,第五节 假言命题及其推理蕴涵怪论,（实质）蕴涵怪论,1. 真命题被任一命题蕴涵,如果113，那么224。,如果地球是圆的，那么224。,2. 假命题蕴涵任一命题,如果113，那么中国是个大国。,如果地球是方的，那么希特勒统治了全球。,如果113，那么人类不曾产生。,矛盾蕴涵一切：,(p p) q,矛盾推出一切：,p p q,爆炸（explosive）,既然连矛盾（
41、假命题）都能接受，还有什么是不能接受的呢？,第五节 假言命题及其推理蕴涵怪论,（实质）蕴涵怪论,2. 假命题蕴涵任一命题：,如果113，那么 42 1 。,证明： 113 假设 112 算术定理 1111 算术定理 23 由，置换 4242 算术定理 4243 由，置换 431 算术定理 421 由，置换,第五节 假言命题及其推理蕴涵怪论,（实质）蕴涵怪论,2. 假命题蕴涵任一命题：,如果225，那么罗素是教皇。,罗素做出了如下的证明：假定：2 + 2 = 5；等式的两边各减去 2，得出 2 = 3； 易位得3 = 2；两边各减去 1，得出 2 = 1教皇与罗素本来是两个人，但既然 2 = 1
42、，教皇与罗素就是同 1 个人，所以,罗素是教皇。,第三章 复合命题推理 复合命题概述 负命题及其推理 联言命题及其推理 选言命题及其推理 假言命题及其推理 真值表的判定作用 复合命题推理的综合运用,第六节 真值表的判定作用,判定真值形式的真值情况,判定真值形式间的关系,矛盾、等值、可同假但不可同真（反对）、可同真但不可同假(下反对)、可同真也可同假、蕴涵,P45：,第六节 真值表的判定作用,真值表解题,例1：A：如果甲是主犯，那么乙是从犯。B：如果乙是从犯，那么甲是主犯。C：甲不是主犯。,兹问：1）若A、B、C中只有一真，哪一个为真？甲是否是主犯？乙是否是从犯？2）若A、B、C全真，甲是否是主
43、犯？乙是否是从犯？3）若A、B、C中只有一假，哪一个为假？甲是否是主犯？乙是否是从犯？,p46,第六节 真值表的判定作用,真值表解题,解：令 p 表示“甲是主犯。”，q 表示“乙是从犯”。上述命题形式依次为：p q、 q p 、p，其真值情况如下表：,在表中，只有第二行符合 1）的题意，期中p为真，q为假，即甲是主犯，乙不是从犯。,1）若A、B、C中只有一真，哪一个为真？甲是否是主犯？乙是否是从犯？,第六节 真值表的判定作用,真值表解题,解：令 p 表示“甲是主犯。”，q 表示“乙是从犯”。上述命题形式依次为：p q、 q p 、p，其真值情况如下表：,在表中，只有第四行符合 2）的题意，其中
44、 p 和 q 都为假，即甲不是主犯，乙不是从犯。,2）若A、B、C全真，甲是否是主犯？乙是否是从犯？,第六节 真值表的判定作用,真值表解题,解：令 p 表示“甲是主犯。”，q 表示“乙是从犯”。上述命题形式依次为：p q、 q p 、p，其真值情况如下表：,表中第一行和第三行都符合 3）的题意。其中，q都为真，即乙是从犯；p为一真一假，即不能确定甲是否主犯。,3）若A、B、C中只有一假，哪一个为假？甲是否是主犯？乙是否是从犯？,第六节 真值表的判定作用,例2：p47,第六节 真值表的判定作用,判定推理的有效性,有效的推理：如果推理形式有效，那么，若前提真，则结论必真,为真的蕴涵式：如果蕴涵式为
45、真，那么，若前件真，则后件必真,共性：前真后必然真,步骤：p48,例：判定以下推理是否有效并非若A不出差，B就出差。所以，A、B都不出差。（令A、B分别表示“A出差”、“B出差”。）,第六节 真值表的判定作用,判定推理的有效性,根据：,演绎定理：如果 , p q那么 p q,逆演绎定理：如果 p q那么 , p q,第六节 真值表的判定作用,归谬赋值法（简化的真值表方法）,适用范围：仅适用于对某蕴涵式是否重言式所进行的的判定。由于其他的公式可以转换成蕴涵式，所以，这是一种有一定普遍性的方法。,原理：1.一个公式(命题形式)或真或假；2.否定一个矛盾式，就得到一个重言式；3.否定一个重言式，就得到一个矛盾式；4.假设一个公式为假，如果至少一个变项的赋值出现矛盾（既赋真，又赋假），则表明原来的假设是错误的，否定假，就得到真，即原公式是重言式。,第六节 真值表的判定作用,归谬赋值法（简化的真值表方法）,步骤：1.将被判定的推理形式转换成蕴涵式；2.假设该蕴涵式为假；3.依次按照基本真值形式的定义，给每一变项赋值；4.看得到赋值后的任一变项是否必然矛盾；5.若至少有一变项的赋值必然矛盾，则原公式是重言式，它表达的推理是有效的；否则不是重言式，相应的推理是无效的。,
