以三段论的前提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是b，c不是a,所以c不是b

下面一个个来：

A

所有a不是b，c是b，所以a不是c 排除

B

所有a是b，有些a是c，所以所有c是b 排除

C

所有a是b，b是c，因此a是c 这是传递性的 排除

D

所有a是b，c是a，所以c是b（b是指不能独立充当句法成分）与例题结构一样

所以选D

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

注意以下几点：

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

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

---