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

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

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