多項(xiàng)選擇題L的每個證明的第一步一定是:()

A.L的合式公式
B.L的公理
C.通過分離規(guī)則得到


您可能感興趣的試卷

你可能感興趣的試題

1.單項(xiàng)選擇題(((?p1)→(?p2))→((p1→p3)→((?p1)→(?p2))))是:()

A.L中符合L1的公理
B.L中符合L2的公理
C.L中符合L3的公理
D.不是L的公理

2.多項(xiàng)選擇題下列各項(xiàng)中哪些是命題演算公理系統(tǒng)L的合式公式?()

A.p2
B.p1→p2
C.(?(?p111))
D.(p1∧p2)
E.((A →(B →A )))

3.單項(xiàng)選擇題命題聯(lián)接詞“合取”在數(shù)字電路中對應(yīng)的是:()

A.非門
B.與門
C.或門
D.與非門
E.或非門

4.單項(xiàng)選擇題可單獨(dú)作為命題聯(lián)接詞的充足集的是:()

A.否定
B.合取
C.析取
D.蘊(yùn)涵
E.與非

5.單項(xiàng)選擇題析取范式和合取范式中不出現(xiàn)的命題聯(lián)接詞是:()

A.否定
B.合取
C.析取
D.蘊(yùn)涵

最新試題

“書是歷史進(jìn)步的階梯”、“這是一本書”中,“書”這一概念屬于()

題型:單項(xiàng)選擇題

若A,B具有交叉關(guān)系,并且B是C的屬概念,則A,C兩概念間的關(guān)系不可能是()

題型:單項(xiàng)選擇題

以下不能表示“合取”含義的聯(lián)結(jié)詞是()。

題型:單項(xiàng)選擇題

“《家》、《春》、《秋》是巴金的小說”和“《家》、《春》、《秋》是巴金的《激流三部曲》”,這兩個判斷()聯(lián)言判斷。

題型:單項(xiàng)選擇題

科學(xué)是人類關(guān)于自然,社會和思維的知識體系??茖W(xué)是一種社會意識形態(tài)。科學(xué)是通過概念,定義邏輯思維形式來反映客觀世界的??茖W(xué)是分為自然科學(xué)和社會科學(xué)兩大類,而哲學(xué)則是自然知識和社會知識的概括和總結(jié)。這幾個命題對“科學(xué)”這一概念是()

題型:單項(xiàng)選擇題

“金山”和“金屬”這兩個詞項(xiàng)的外延之間的關(guān)系是()。

題型:單項(xiàng)選擇題

學(xué)校規(guī)定,除非是法學(xué)院二年級學(xué)生,否則不被允許進(jìn)入法學(xué)展覽館。以下哪幾項(xiàng)說明學(xué)校沒有違反了規(guī)定()1.小明是信息學(xué)院學(xué)生,但被允許入內(nèi)2.小紅是法學(xué)院三年級學(xué)生,但被允許入內(nèi)3.小強(qiáng)是法學(xué)院二年級學(xué)生,但不被允許入內(nèi)

題型:單項(xiàng)選擇題

以下不符合三段論推理的一般規(guī)則的是()。

題型:單項(xiàng)選擇題

“并非有的被告是罪犯”和“有些被告不是罪犯”這兩個判斷的關(guān)系()

題型:單項(xiàng)選擇題

公民、法人享有名譽(yù)權(quán)。此判斷是()判斷。

題型:單項(xiàng)選擇題