太阳照常升起影评 戴:谁的逻辑学学的好

PAM
SEM
----
SEP
大前提是PAM 小前提是SEM
不知道对不对呢??

对于一个标准形式的三段论，要保证其推理形式的有效性，当且仅当，它不违反如下五条规则： 参见：http://post.baidu.com/f?kz=97577157

R1 中项在前提中至少周延一次。

R2 前提中不周延的项在结论中也不得周延。

R3 两个否定的前提不能得出结论 。

R4 若有一前提否定，则结论否定。

R5 若结论否定，则前提必有一否定。

设大项为P，小项为S，中项为M；

（1）题设：该三段论的结论是SEP
（2）由（1）知结论是否定的，根据R5，大小前提中有一个否定；
（3）由（1）知结论中的小项S与大项P都是周延的，根据R2，知结论中周延的项在前提中亦为周延，因此，大项P与小项S分别在大小前提中周延；
（4）由（2）知大小前提中有一个否定，设若小前提否定，根据R3，知大前提为肯定，则结合（3）大项在大前提中周延，它不能为大前提的谓项（肯定命题的谓项不周延），因此，其大前提为PAM；由于中项M在大前提PAM中不周延，根据R1，中项M在小前提中周延，因此，其小前提或为MES，或为SEM；因此，该三段论的格式或者是AEE-4，或者是AEE-2，即
PAM 或 PAM
MES SEM
SEP SEP
（5）由（2）知大小前提中有一个否定，设若大前提否定，根据R3，知小前提为肯定，则结合（3）小项在小前提中周延，它不能为小前提的谓项（肯定命题的谓项不周延），因此，其小前提为SAM；由于中项M在小前提SAM中不周延，根据R1，中项M在大前提中周延，因此，其大前提或为MEP，或为PEM,因此，该三段论的格式或者是AEE-1，或者是AEE-2，即
MEP 或 PEM
SAM SAM
SEP SEP
(6)综上，若一个有效三段论的结论是SEP，则它的大小前提可以有4种组合，

PAM 或 PAM
MES SEM
SEP SEP

或者，

MEP 或 PEM
SAM SAM
SEP SEP

回答完毕。

欢迎到逻辑学吧参与讨论：http://post.baidu.com/f?kz=113132408

逻辑学吧：http://post.baidu.com/f?kw=%C2%DF%BC%AD%D1%A7