问答题

【参考答案】

这是个充分条件假言易位推理,其推理形式为:(p→q)→(﹁q→﹁p)。这是个有效式。