以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。