“若SAP真，则SEP假；SEP假；所以，SAP真。”这是何种推理？其推理公式是什么？是否有效？为什么？