問答題

【簡答題】用真值表來驗(yàn)證p→¬q，q├¬p 是否為有效式。

答案：

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

你可能感興趣的試題

如果對一類對象的全部有所肯定或否定，則對該類對象的（）也有所肯定或否定，這就是三段論的公理。

答案：部分

多項(xiàng)選擇題

與“并非只有班長去開會，劉某才去開會"等值的判斷是（）

A.雖然班長沒去開會，但劉某去開會了
B.班長和劉某沒有都去開會
C.雖然劉某沒去開會，但班長去開會了
D.只要班長去開會，劉某就去開會
E.并非“班長不去開會，劉某就不去開會”