以“所有P是M，有S不是M”为前提进行三段论推理，其正确结论是A有S是PB所有S是PC有S不是PD所有S不是P