集合推理
四组翻译：
所有A都是B A B
所有A都不是B A —B
有的A是B 有的A B
有的A不是B 有的A —B
三组换位：
所有A都不是所有B都不是A
有的A是有的B是A
所有A都不是有的B是A
两组推理：
所有A都是某个A是有的A是B
所有A都不是某个A不是有的A不是B
必然可能同义替换
1、上推下，对角线互为矛盾；
2、任何一句话都等同于它的矛盾命题前面加一个负号
必然=不可能不
不必然=可能不
可能=不必然不
不可能=必然不
同义替换方法：
1、去掉/添加开头的否定词
2、所有和有的互换
3、必然和可能互换
4、肯定和否定互换
必然 可能
可能不
必然不
真假推理
矛盾关系：
1、某个……是……和某个……不是……
2、所有……是……和有的……不是……
3、所有……都不是……和有的……是……
4、如果A，那么B 和 A且—B
反对关系：
1、所有……都是和所有……都不是……
（两个所有必有一假，可以同假）
2、有的……是……和有的……不是……
（两个有的必有一真，可以同真）
谢谢观看! 欢迎您的下载，资料仅供参考,如有雷同纯属意外。