参考答案：(1)这是充分条件假言推理的肯定后件式。
(2)其推理公式是：

。
(3)这个推理形式无效，违反了充分条件假言推理“肯定后件不能肯定前件”的规则，犯了肯定后件进而肯定前件的逻辑错误。