2019-01-19翻译推理知识点

一、前推后

如果···那么
若···则
只要···就
为了···一定
所有···都
···是···的充分条件

二、后推前

只有···才
不···不
除非···否则不
···是···的基础/假设/前提/关键
···是···的必要/必不可少的条件

三、且与或

1.A且B：两者同时成立
否定一项，整个不成立。
等价关联词：和、既···又、不仅···而且、···但是···

2.A或B：至少一项成立 推理：否一推一
两项都否定，整个不成立。
等价关联词：···和···至少一个

3.要么A，要么B：两者只有一个成立
AB都否定，不成立
AB都肯定，不成立
等价关联词：···和···只有一个

摩根定律

-(A且B) = - A或 - B

-(A或B) = - A且 - B

四、集合推理

（一）四组翻译

所有的A都是B： A推B
所有的A都不是B：A推-B
有的A是B：有的A推B
有的A不是B：有的A推-B

（二）三组换位

所有A都是B推有的B是A
所有A都不是B正反推所有B都不是A
有的A是B正反推有的B是A

（三）两组推理

所有A都是B—某个A是B—有的A是B
所有A都不是B—某个A不是B—有的A不是B

（四）一组递推

A推B B推C A推C
有的A推B 所有B推C 有的A推C