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