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

题目

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