直言命题对当关系推理中，若SAP正确，则SIP命题一定正确。