知识点1：理清关系

所有的A都是B 所有的A都不是B

有的A是B 有的A不是

1矛盾(对角线)：不同真也不同

2包含（上下）：上真下必真，下上必；但是上下未必，下真上未必真

3上反对（上左右）：不可同真但可同

4下反对（下左右）：不可同但可同真

知识点2：否定形式

1.不是所有A都是B = 有的A不是B

2.不是所有A都不是B = 有的A是B

3.不是有的A是B = 所有A都不是B

4.不是有的A不是 = 所有A都是B

知识点3：真话问题

1.解题思路：找矛盾，没有矛盾找包含（包含假设：简直）