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

【参考答案】

由上表可知：p→¬q，q├¬p 为有效式。

点击查看答案

上一题目录下一题

填空题

多项选择题

A.虽然班长没去开会，但刘某去开会了
B.班长和刘某没有都去开会
C.虽然刘某没去开会，但班长去开会了
D.只要班长去开会，刘某就去开会
E.并非“班长不去开会，刘某就不去开会”

多项选择题

A.无p必无q
B.无q必无p
C.有p必有q
D.有p必无q
E.有p未必有q