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