问答题

简答题 用真值表来验证p→¬q,q├¬p 是否为有效式。

【参考答案】


由上表可知:p→¬q,q├¬p 为有效式。