充分条件假言推理有肯定前件式和（）。

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

• A、所有S不是P
• B、所有S是P
• C、有S是P
• D、有S不是P
• E、没有S不是P

一个三段论，如果其结论是假的，那么其推理形式和前提必定是（）

• A、推理形式无效且前提中有虚假
• B、推理形式无效或前提中有虚假
• C、推理形式无效且前提真实
• D、推理形式有有效且前提中有虚假
• E、推理形式无效和前提中有虚假两者中至少有一个真实