如果一个三段论的有效式的结论是sap