一个有效的三段论，小前提是否定判断，则大前提只能是（ ）。