一个有效三段论推理的两个前提中必须有一个全称命题或者单称命题