一个有效三段论的小前提是否定命题