问答题

【参考答案】

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