逻辑学中的SAP SEP SIP SOP