专硕逻辑复习指导：假言推理7大重要考点

　　假言推理每年都是考试的重中之重，每年都是最重要的逻辑知识相关考法。根据真题统计发现2012年MPAcc逻辑考题12题和假言推理相关，2013年是9题，从整个30题的逻辑考试来看，假言也是重点，以下把假言的相关考法做了一个整理，呈现给大家，希望大家在备课的时候能够快速解答出相关试题。假言考法总结如下。

　　第一考点：A→B ↔ ¬B→ ¬A

　　第二考点：A→B↔ ¬A∨B

　　第三考点：A→B与 A∧¬B矛盾

　　第四考点：假设A→B假，A∧¬B真，然后寻找包容关系

　　第五考点：A→B真值表，B→（A→B），¬A→（A→B）

　　第六考点：连锁推理（A→B）∧（B→C）→（A→C）

　　第七考点：归谬法

内容	题目表达	逻辑表达	结论
归谬法	如果A，那么B; 只要A，就¬B;	A→B A→¬B	¬A恒成立
	如果A，那么B; 只要¬A，就B;	A→B ¬A→B	B恒成立
归谬法变式1	如果A，那么¬A	A→¬A	¬A成立
	如果¬A，那么A	¬A→A	A成立
归谬法变式2	A或¬A，必有一真	A∨¬A	永真
归谬法变式3 不可兼得式	如果A，那么B; 如果C，那么¬B;	A→B C→¬B	¬(A∧C)
归谬法变式4 前或推后或式	如果A，那么B; 如果C，那么D; 或者A，或者C	A→B C→D A∨C	B∨D

　　接下来用几个逻辑试题来看看假言考法的一些技巧和使用方法。

　　例题1：哲学家：“我思考，所以我存在。如果我不存在，那么我不思考。如果我思考，那么人生就意味着虚无缥缈。”若把“人生并不意味着虚无缥缈”补充到上述论证中，那么这位哲学家还能得出什么结论?

　　A．我存在      

　　B．我不存在    

　　C．我思考      

　　D．我不思考    

　　E．我不思考且我不存在

　　【答案】D

　　【解析】根据题意，思考→虚无缥缈，加上¬虚无缥缈，能够推出¬思考。这个是考点一的经典使用。故正确答案选择D。

　　例题2：天文学家说：“如果太阳毁灭，则银河系中有外星人。”以下哪项与天文学家所说的意思相同。（   ）

　　A.如果银河系中有外星人，则太阳毁灭

　　B.如果银河系中有外星人，则太阳不会毁灭

　　C.太阳不会毁灭或者银河系中有外星人

　　D.太阳会毁灭或者银河系中有外星人

　　E.太阳会毁灭并且银河系中有外星人

　　【答案】C

　　【解析】根据题意,太阳毁灭→银河系中有外星人，等价于¬太阳毁灭∨银河系中有外星人。是第二考点的经典运用。故正确答案选择C。

　　例题3：如果生产下降或浪费严重，那么将造成物资匮乏。如果物资匮乏，那么或者物价暴涨，或者人民生活贫困。如果人民生活贫困，政府将失去民心。事实上物价没有暴涨，而且政府赢得了民心。由此可见( )。

　　A．生产下降但是没有浪费严重

　　B．生产没有下降但是浪费严重

　　C．生产下降并且浪费严重

　　D．生产没有下降并且没有浪费严重

　　E．生产没有下降或者没有浪费严重

　　【答案】D

　　【解析】根据题意,题干从前一直往后推，否后可以一直往前否，最后否定第一句是本题的答案。这个是第六考点的经典运用。故正确答案选择D。