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