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