逻辑学证明题

Question

小前提为否定判断的有效三段论的大前提只能是全称肯定判断。

Answer 1

小前提是否定的，根据“前提之一是否定的，结论必然是否定的”得出：（1）所以结论是否定的。再根据“两个否定结论不能得出结论”得出：（2）大前提是肯定的。
根据（1）得出：（3）结论中的谓项是周延的。
根据（3）和“前提中不周延的项在结论中也不能周延”得出：（4）大前提中至少有一个周延的项。
根据（2）（4）得出：大前提只能是主项周延、谓项不周延的，所以大前提是全称肯定命题。