2020年MPAcc逻辑：假言推理重要考点

第一考点：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→BB恒成立

　　归谬法变式1如果A，那么¬AA→¬A¬A成立

　　如果¬A，那么A¬A→AA成立

　　归谬法变式2A或¬A，必有一真A∨¬A永真

　　归谬法变式3

　　不可兼得式如果A，那么B;

　　如果C，那么¬B;A→B

　　C→¬B¬(A∧C)

　　归谬法变式4

　　前或推后或式如果A，那么B;

　　如果C，那么D;

　　或者A，或者CA→B

　　C→D

　　A∨CB∨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。