最直接体现三段论公理的推理形式是（ ）

最直接体现三段论公理的推理形式是（ ）
A、所有M是P，所有M是S，所以，有些S是P
B、所有M是P，所有S是M，所以，所有S是P
C、所有M不是P，所有S是M，所以，所有S不是P
D、所有M不是P，所有M是S，所以，有些S不是P
E、所有P不是M，所有M是S，所以，有些S不是P
【正确答案】：BC
【题目解析】：三段论的公理是：如果对一类对象的全部有所肯定或否定，则对该类对象的部分也有所肯定或否定。故选BC。