用三段论第一格证明大小前提都不能是o判断

用三段论第一格证明大小前提都不能是o判断

三段路第一格形式如下：
大前提：M——P
小前提：S——M
结 论：S——P
如果大前提是O命题，则中项在大前提中是不周延的。按照“两个否定的前提不能得出结论”的规则，小前提必须是肯定命题，中项在小前提中也是不周延的，这就违反了“中项在前提中至少周延一次”的规则。
如果小前提是O命题，按照“两个否定的前提不能得出结论”的规则，大前提必须是肯定命题，大项在大前提中是不周延的，再按照“前提中有一个是否定的，结论必然是否定的”规则，结论只能是否定命题，大项在结论中是周延的，这就违反了“在前提中不周延的项在结论中也不得周延”的规则。
所以，三段论第一格的大小前提都不能是O命题。