“没有P是M，有S是M；所以，有S不是P。”这一推理的形式是（ ）。