以三段论的前提PAM和SEM推出的结论为基础，再进行直接推理，能必然推出

首先可得出三段论的结论SEP，接着进行直接推理，可推出很多结论：1、SOP，2、¬（SAP），3、¬（SIP），4、PES，5、PA¬S，6、¬SIP，7、¬SO¬P，8、SA¬P，9、SI¬P，10、¬PIS，11、¬PO¬S。

以A为大前提，以E为小前提，能得出必然的结论。证明过程很简单，只要遵守三段轮的规则既可。譬如，大前提为PAM，小前提为SEM，结论必定为SEP。这就是三段论第二格的AEE式，为有效式。再如，大前提为PAM，小前提为MES，结论必定为SEP。这是三段论第四格的AEE式，也为有效式。

注意以下几点：

1、A为大前提，E为小前提，结论一定为否定的。在结论中大项周延，那么在前提中，大项也一定需要周延。所以在大前提中，大项只能做A的主项，大前提一定为PAM。

2、小前提为E，小项、中项都周延，所以小前提可以是AEM，也可以是MES。

---