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