请问三段式推理的，从大前提小前提的理论推导出另一个理论，是理论检验理论吗?

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

注意以下几点：

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

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

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

注意以下几点：

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

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

S为小项：教师

M为中项：有博士学位

P为大项：学过法哲学

三段论形式为：

大前提MIP

小前提SEM

结 论SIP

为无效式，因为这个三段论大前提是特称肯定，小前提是全称否定，结论是特称肯定。违反了三段论“前提中有一个是否定的，结论必然是否定的”规则。

---