以MAP为大前提，SIP为结论的有效三段论，它的小前提可以是（）。