命題演算的公理系統(tǒng)L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理獨(dú)立性。
從L中去掉L3得到公理系統(tǒng)L’
在L中加上（A →A ）作為L(zhǎng)4得到公理系統(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ī)則得到
A.L中符合L1的公理
B.L中符合L2的公理
C.L中符合L3的公理
D.不是L的公理
A.p2
B.p1→p2
C.（?（?p111））
D.（p1∧p2）
E.（（A →（B →A ）））
最新試題
從周延性上看，“動(dòng)物沒有理性”和“難道獨(dú)角獸存在嗎？”這兩個(gè)命題（）。
北京大學(xué)：概括為高等院校、限制為北京大學(xué)哲學(xué)系（）
“《家》、《春》、《秋》是巴金的小說”和“《家》、《春》、《秋》是巴金的《激流三部曲》”，這兩個(gè)判斷（）聯(lián)言判斷。
“金山”和“金屬”這兩個(gè)詞項(xiàng)的外延之間的關(guān)系是（）。
有一個(gè)正確的三段論式，其結(jié)論為I判斷，因此（）
全同關(guān)系與包含關(guān)系之間是（）。
與“如果甲考上大學(xué)，則乙也考上大學(xué)”相矛盾的判斷是（）
學(xué)校規(guī)定，除非是法學(xué)院二年級(jí)學(xué)生，否則不被允許進(jìn)入法學(xué)展覽館。以下哪幾項(xiàng)說明學(xué)校沒有違反了規(guī)定（）1.小明是信息學(xué)院學(xué)生，但被允許入內(nèi)2.小紅是法學(xué)院三年級(jí)學(xué)生，但被允許入內(nèi)3.小強(qiáng)是法學(xué)院二年級(jí)學(xué)生，但不被允許入內(nèi)
若A，B具有交叉關(guān)系，并且B是C的屬概念，則A，C兩概念間的關(guān)系不可能是（）
“殺死比爾的要么是毒藥，要么是這把槍?！边@個(gè)命題里包含著一個(gè)相容析取聯(lián)結(jié)詞。