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