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

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