对当方阵关系推导(不知合不合理版)：S与P为变量，A、E、I、O为常量，认为S与P可省略，且用“得”表示推导符号。
因为A真 I 真，所以SAP得SIP(A得 I )。得证。
I 假A假，所以﹁I 得﹁A。得证。
E与O同理可得：E得O 。得证
﹁O得﹁E 。得证
3.因为A与E不同真，可同假，得：
A得﹁E，得证。
﹁A得E ，不得证。
﹁A得﹁E，不得证。
同理：I 得﹁O，不得证
﹁I 得O ，得证
I 得O ，不得证
4.因为A与O，E与I 不同真，不同假。所以：
A得﹁O，﹁A得O，(反之亦然)得证。
E得﹁I， ﹁E得I， (反之亦然)得证。
问：为何不存在 ﹁A得E
﹁A得﹁E
I 得﹁O
I 得O 得证？