逻辑判断

翻译推理

题型特征

可以/无法推出

逻辑关联词（如果……那么……等）

解题思维

先翻译，后推理

避免通过语义解题

翻译规则

前推后

如果……那么（就）……

只要……就……

所有……都……

……是……的充分条件

……就/则/都/一定……

后推前

只有……才……

不……不……

……才……

除非……否则不……

……是……必要条件

易错点

谁是必要条件，谁放在箭头后

除非……=除非……否则……

推理规则

逆否等价

1->2=否2->否1

传递规则

1->2，2->3=1->3

常规翻译

”且“关系

并列关系：并且/且/都/和/即……又……

递进关系：甚至/而且/还

转折关系：但是/然而/却

标点符号：逗号，顿号，分号

1 且2->1，1 且2->2

”或“关系

……或者/或……

或者……或者……

……和……至少有一个

1或2成立时，否1->2,否2->1

德摩根定律

否（1且2）=否1或否2

否（1或2）=否1且否2

集合推理

所有

翻译规则：前推后

推理规则：逆否等价

有的

含义：至少有一个

翻译规则：

​ 有的1是2：1->2

​ 有的1不是2：1->否2

推理规则：

​ 带”有的“的翻译不适用逆否等价规则

​ 有的1是2=有的2是1

​ 所有1都是2=有的1是2

​ 所有1都是2=有的2是1

”并非“同义替换

​ 去掉”并非”

​ ”必然“，”可能“互换

​ ”所有“，”有的“互换】

​ 否定谓语动词

​ 例：并非明天必然不下雨=明天可能下雨

推理形式

提问方式

与题干推理结构/推理形式/论证方式相似

解题思维

逻辑一致是前提，句式相同优选。

不考虑推理是否正确，只考虑与题干是否一致。