集合推理
四组翻译：
![](https://wkrtcs.bdimg.com/rtcs/image?w=25.333333333333&md5sum=c44e524fda0335a92615ca459cd4c27b&sign=3a69495b42&rtcs_flag=1&rtcs_ver=3&l=webapp&bucketNum=148&ipr={"t":"img","w":"25.333333333333","h":"9.3333333333333","dataType":"gif","c":"word/media/image1.png"})
所有A都是B A B
所有A都不是B A —B
有的A是B 有的A B
有的A不是B 有的A —B
三组换位：
![](https://wkrtcs.bdimg.com/rtcs/image?w=62.666666666667&md5sum=c44e524fda0335a92615ca459cd4c27b&sign=3a69495b42&rtcs_flag=1&rtcs_ver=3&l=webapp&bucketNum=148&ipr={"t":"img","w":"62.666666666667","h":"24","dataType":"gif","c":"word/media/image2.png"})
所有A都不是B 所有B都不是A
有的A是B 有的B是A
![](https://wkrtcs.bdimg.com/rtcs/image?w=50.666666666667&md5sum=c44e524fda0335a92615ca459cd4c27b&sign=3a69495b42&rtcs_flag=1&rtcs_ver=3&l=webapp&bucketNum=148&ipr={"t":"img","w":"50.666666666667","h":"24","dataType":"gif","c":"word/media/image3.png"})
所有A都不是B 有的B是A
两组推理：
所有A都是B 某个A是B 有的A是B
所有A都不是B 某个A不是B 有的A不是B
必然可能同义替换
1、上推下，对角线互为矛盾；
2、任何一句话都等同于它的矛盾命题前面加一个负号
![](https://wkrtcs.bdimg.com/rtcs/image?w=229.33333333333&md5sum=c44e524fda0335a92615ca459cd4c27b&sign=3a69495b42&rtcs_flag=1&rtcs_ver=3&l=webapp&bucketNum=148&ipr={"t":"img","w":"229.33333333333","h":"166.66666666667","dataType":"gif","c":"word/media/image4.png"})
必然=不可能不
不必然=可能不
可能=不必然不
不可能=必然不
同义替换方法：
1、去掉/添加开头的否定词
2、所有和有的互换
3、必然和可能互换
4、肯定和否定互换
真假推理
矛盾关系：
1、某个……是…… 和 某个……不是……
2、所有……是…… 和 有的……不是……
3、所有……都不是…… 和 有的……是……
4、如果A，那么B 和 A且—B
反对关系：
1、所有……都是 和 所有……都不是……
（两个所有必有一假，可以同假）
2、有的……是…… 和有的……不是……
（两个有的必有一真，可以同真）
本文来源：https://www.2haoxitong.net/k/doc/9ba7f21b6037ee06eff9aef8941ea76e59fa4ad4.html
文档为doc格式