一、前推后
如果···那么
若···则
只要···就
为了···一定
所有···都
···是···的充分条件
二、后推前
只有···才
不···不
除非···否则不
···是···的基础/假设/前提/关键
···是···的必要/必不可少的条件
三、且与或
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
