四组翻译(凡是有有的,不能用逆否)
所有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 →某个A不是B→有的A不是B
一组递推(A→B B→C A→C)
有的A→B,B → C,有的A→C(B 必须是所有的)