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

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

略