A.L系統(tǒng)的定理集更大
B.C系統(tǒng)的定理集更大
C.二者的定理集相同
D.二者的定理集互不相干
您可能感興趣的試卷
你可能感興趣的試題
A.可靠性
B.完全性
C.公理獨(dú)立性
命題演算的公理系統(tǒng)L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理獨(dú)立性。
從L中去掉L3得到公理系統(tǒng)L’
在L中加上(A →A )作為L4得到公理系統(tǒng)L”
在這三個(gè)公理系統(tǒng)中,具有可靠性的是:()
A.L
B.L 和L’
C.L 和L”
D.L,L’和L”
A.表達(dá)式
B.恒等式
C.蘊(yùn)涵式
A.日常語言
B.自然語言
C.人工語言
A.L的合式公式
B.L的公理
C.通過分離規(guī)則得到
最新試題
近幾年,某企業(yè)在員工職業(yè)培訓(xùn)方面,基層占36%,中層占50%,高層占14%,這說明該企業(yè)給予中層員工更多的培訓(xùn)機(jī)會(huì)。以下哪項(xiàng)為真,才能支持上述結(jié)論?()
“黨員”→“女黨員”→“優(yōu)秀女黨員”這一過程是()
“《家》、《春》、《秋》是巴金的小說”和“《家》、《春》、《秋》是巴金的《激流三部曲》”,這兩個(gè)判斷()聯(lián)言判斷。
“十八周歲以上的公民不是非成年人”是()
如果你擁有勇氣,你就能立于不敗之地。由此,可以推出()
“殺死比爾的要么是毒藥,要么是這把槍。”這個(gè)命題里包含著一個(gè)相容析取聯(lián)結(jié)詞。
“金山”和“金屬”這兩個(gè)詞項(xiàng)的外延之間的關(guān)系是()。
北京大學(xué):概括為高等院校、限制為北京大學(xué)哲學(xué)系()
全同關(guān)系與包含關(guān)系之間是()。
若A,B具有交叉關(guān)系,并且B是C的屬概念,則A,C兩概念間的關(guān)系不可能是()