在下列三段論推理式中，遵守三段論規(guī)則的有效式是（）

“魯迅的作品不是一天可以讀完的”和“《祝?！肥囚斞傅淖髌贰敝校鲜雠袛嘀小棒斞傅淖髌贰保ǎ?/p>

有些數(shù)學(xué)理論沒有應(yīng)用價值，所以，有些理論雖然在邏輯上嚴(yán)謹(jǐn)?shù)菦]有應(yīng)用價值。以下能夠保證上述推理成立的判斷是（）

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

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

“所有人都知法守法”為假，則以下不可能為假的一項(xiàng)是（）

加上另一個前提：“這個學(xué)期劉某沒有成功當(dāng)選學(xué)生會干部”，能否必然得出結(jié)論，為什么？

加上另一個前提：“這個學(xué)期劉某光榮加入中國共產(chǎn)黨”，能否必然得出結(jié)論，為什么？

并非當(dāng)且僅當(dāng)某人是商人時，他就一定會說謊。以下哪個選項(xiàng)是對上述判斷全面正確的理解（）？

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