问答题
用真值表来验证p→¬q，q├¬p 是否为有效式。
由上表可知：p→¬q，q├¬p 为有效式。
填空题 如果对一类对象的全部有所肯定或否定，则对该类对象的（）也有所肯定或否定，这就是三段论的公理。
多项选择题 与“并非只有班长去开会，刘某才去开会"等值的判断是（）
多项选择题 已知p是q的充分条件，则（）
