Question

求解QAQ证明。一个有效的三段论,若小前提为全称否定命题,则大前提必须

求解QAQ证明。一个有效的三段论,若小前提为全称否定命题,则大前提必须为全称肯定命题

Answer 1

如果小前提为全称否定命题，根据“两个否定的前提不能推出结论”，则大前提不能是全称否定命题或特称否定命题。要推出结论，大前提必须是肯定命题。如果大前提是特称肯定命题，则大前提中大项是不周延的，而小前提是否定命题，根据“前提中有一个是否定的，则结论也是否定的”规则，大项在结论中变得周延了，又违反了“在前提中不周延的项在结论中也不得周延”的规则。所以，一个有效的三段论,若小前提为全称否定命题,则大前提必须为全称肯定命题。