演绎推理的三段论形式与运用 — 语文选择题

某调研组对三个推理形式的有效性进行判定，得出如下结论：甲说：“所有M是P，所有S是M，所以所有S是P。”乙说：“所有P是M，所有S是M，所以所有S是P。”丙说：“有些M是P，所有S是M，所以有些S是P。”丁说：“所有M是P，有些S不是M，所以有些S不是P。”经专家确认，四个结论中恰有一个是必然得出的。据此，下列判断正确的是：A. 甲的推理有效；B. 乙的推理有效；C. 丙的推理有效；D. 丁的推理有效。