以“所有P是M,有S不是M”为前提,进行三段论推理,推理正确的结论是( )。
出自:国家开放大学《法律逻辑学》