问答题
简答题 用真值表来验证p→¬q，q├¬p 是否为有效式。
【参考答案】
由上表可知：p→¬q，q├¬p 为有效式。