翻译推理

　　题型特征：

　　出现特殊的关联词，比如如果……那么……、只有……才……、或、且、必须、必要条

　　件等

　　第一步 先翻译

　　翻译一:如果…就…

　　翻译规则：如果就，前推后

　　如果 A 就 B

　　只要 A 就 B

　　A 必须 B

　　所有 A 都 B

　　A 是 B 的充分条件

　　A 离不开 B

　　翻译二:只有…才…

　　翻译规则：只有才，后推前

　　不 A 不 B

　　除非 A 否则不 B

　　除非 A 否则 B

　　翻译三：谁是基础、必须、必要条件、前提、先决条件，谁放在箭头后边好老师 好课程 好服务

　　A 是 B 的基础 B→A

　　A 的基础是 B

　　A→B

　　翻译四:…且…

　　口诀：全真为真，一假必假

　　…又…

　　…和…

　　…还…

　　…也…

　　…并且…

　　翻译五:…或…

　　口诀：一真必真，全假必假

　　或者 A 或者 B

　　A 或 B

　　A 和 B 至少一个

　　A 或 B

　　A 和 B 不都是…

　　-A 或-B

　　要么…要么

　　二选一

　　第二步 再推理

　　推理一:逆否等价规则

　　快速解题口诀：

　　肯前必肯后，否后必否前

　　否前肯后不确定

　　推理二:递推规则

　　如果 A→B B→C

　　那么 A→C

　　推理三：摩根等价定律

　　¬(A 且 B)等价于¬A 或¬B

　　¬(A 或 B)等价于¬A 且¬B

　　开括号分负号，

　　且变或，或变且

　　推理四：否定肯定式

　　A 或 B

　　否定一支可以肯定另一支

　　¬A→B

　　¬B→A

　　推理五：鲁滨逊定律

　　A→B 等价于¬A 或 B