用真值表来验证p→q，¬q├¬p是否为有效式。

用真值表来验证p→q，¬q├¬p是否为有效式。
【正确答案】：

由答37表可知：p→q，¬q├¬p为有效式。