问答题 以“所有P不是M”和“所有M都是S”作为大小前提进行推理，能推出什么结论?请用欧拉图表示结论主、谓项之间可能有的关系。