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

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

(1)这是充分条件假言推理的肯定后件式。(2)其推理公式是：p→q，q |-p。(3)这个推理形式无效，违反了充分条件假言推 理“肯定后件不能肯定前件”的规则，犯了肯 定后件进而肯定前件的逻辑错误。