一个有效的三段论，如果结论是特称命题，则其前提中必有一个特称命题