1.有的S是P
2.有的S不是P
3.如果所有的S都是M,那么有的P是M.
4.已知下列三个判断中只有一个为真
5.分析可知,1.2性质命题对当关系中的下反对关系,也就是I命题和O命题的关系.下反对关系必有一真,也许都真.显然,由于有4.的限制,不可能都真,但真命题就在1.2之中.3.就不是真的.对3的否定就会是真的命题.则可以得到下面的真命题：
6.并非：如果所有的S都是M,那么有的P是M.其等值命题应该是：SAM且并非PIM.即SAM且PEM.则有,
7.SEP
8.SOP（由7,差等关系）
9.由此可见,1即SIP和3即SAM→PIM都是错的.