【多选题】

能直接反映三段论公理的推理形式有

A、所有M是P，所有S是M，所以，所有S是P
B．所有M不是P，所有S是M，所以，所有S不是P
C．所有M是P，有些M是S，所以，有些S是P
D．所有M不是P，有些M是S，所以，有些S不是P
E．所有P不是M，有些S是M，所以，有些S不是P