已知某一有效三段论的小前提是否定判断，试证：该三段论的大前提只能是全称肯定判断。

已知某一有效三段论的小前提是否定判断，试证：该三段论的大前提只能是全称肯定判断。

证明：(1)已知小前提是否定判断，根据三段论“两个否 定前提推不出结论”的规则，可知大前提必为肯定判断。(2) 根据“前提有一杏定，则结论否定”的规则，可知结论为否定判断，则大项在结论中周延。(3)根据“在前提中不周延的项，到结论中也不得 周延”的规则，可推出大项在大前提中周延。(4) 由（3)可推知，大前提必为全称肯定判断，因 为特称肯定判断的主、谓项均不周延。