一个有效三段论，如果大前提是特称命题，那么它的小前提必须是肯定命题