首頁(yè)
題庫(kù)
網(wǎng)課
在線模考
桌面端
登錄
搜標(biāo)題
搜題干
搜選項(xiàng)
0
/ 200字
搜索
單項(xiàng)選擇題
畫樹形圖時(shí),如果根節(jié)點(diǎn)的公式為A,最后有的枝不封閉,則可以證明()。
A.A是矛盾式
B.A是可滿足式
C.A是重言式
D.A不是重言式
點(diǎn)擊查看答案&解析
在線練習(xí)
手機(jī)看題
你可能感興趣的試題
單項(xiàng)選擇題
使用歸謬賦值法時(shí),如果設(shè)原公式的主聯(lián)結(jié)詞為1,最后得到了矛盾的賦值結(jié)果,則可以證明原公式是()。
A.矛盾式
B.重言式
C.偶真式
D.可滿足式
點(diǎn)擊查看答案&解析
手機(jī)看題
單項(xiàng)選擇題
已知p假q真,則下列公式中為真的是()。
A.?(q∧p)→p
B.p∨?q→p
C.(p∨q)∧p
D.(p∨?q)∨?q
點(diǎn)擊查看答案&解析
手機(jī)看題
微信掃碼免費(fèi)搜題