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

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