如果一个正确三段论的结论为SAP，它的大前提、小前提各是什么？以“M”作中项写出它的逻辑形式。