如果一个有效三段论的结论为SAP，它的大小前提各是什么？写出它的逻辑形式。