一个有效三段论推理，如果前提中有一个单称命题则结论必须是单称命题