如果所有的M都是P，所有的S都是M，那么，所有的S都是P。这是一个三段论演绎推理模式。