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