A.從A?B 推出A；從A?B 推出B
B.從A?B 和A 推出B；從A?B 和B 推出A
C.從A?B 推出A→B；從A?B 推出B→A
D.從A?B 和含子公式A 的公式C（A）推出C（A/B）（將C 中的一處或多處A 代換為B）
您可能感興趣的試卷
你可能感興趣的試題
A.（p→?p）→q
B.q→（?q→p）
C.（p→p）→?q
D.p→（?q→p）
A.A 不是可滿足式
B.?A 是重言式
C.A 不是重言式
D.?A 不是重言式
A.真值表方法可以判定任意命題邏輯公式是重言式、偶真式還是矛盾式
B.任一命題邏輯公式的真值表都是唯一的
C.真值表方法的合理性依賴如下前提：一個(gè)公式的真值僅由在該公式中出現(xiàn)的符號(hào)的意義決定
D.含n 個(gè)命題變?cè)墓降恼嬷当砉灿?n 行
A.（p∨?q）∨?q
B.（p∨q）∧p
C.p∨?q→q
D.?（q∧p）→p
A.（（p→q）∨q）
B.（p∨q）
C.A→B
D.（?q）
最新試題
近幾年，某企業(yè)在員工職業(yè)培訓(xùn)方面，基層占36%，中層占50%，高層占14%，這說(shuō)明該企業(yè)給予中層員工更多的培訓(xùn)機(jī)會(huì)。以下哪項(xiàng)為真，才能支持上述結(jié)論？（）
以下不能表示“合取”含義的聯(lián)結(jié)詞是（）。
“如果你不努力工作，你就還不上房貸，你就是一個(gè)失敗者?！边@句話在邏輯上主要犯了（）錯(cuò)誤。
“并非有的集團(tuán)CEO不是慈善家”經(jīng)過(guò)推理可以得到“并非所有慈善家都不是集團(tuán)CEO”。
在對(duì)當(dāng)關(guān)系中，可以由假推真的有（）
“金山”和“金屬”這兩個(gè)詞項(xiàng)的外延之間的關(guān)系是（）。
“黨員”→“女黨員”→“優(yōu)秀女黨員”這一過(guò)程是（）
“殺死比爾的要么是毒藥，要么是這把槍?！边@個(gè)命題里包含著一個(gè)相容析取聯(lián)結(jié)詞。
“這款網(wǎng)絡(luò)游戲是明星代言的，所以一定非常好玩?！边@句話在邏輯上主要犯了（）錯(cuò)誤。
“陽(yáng)光充足”和“莊稼豐收”之間是什么關(guān)系（）