題目 題型:選答,填空 難度:★★★★★ 7.2萬熱度
反演歸結(jié)消解證明定理時若當(dāng)前歸結(jié)式是時則定理得證A永真式包孕式UUMEDC空子句D以
反演歸結(jié)(消解)證明定理時 若當(dāng)前歸結(jié)式是()時 則定理得證。
A.永真式
B.包孕式(subsumed)
C.空子句
D.以上都不對
溫馨提示:審好題,想清楚,理明晰,再下筆!
網(wǎng)站導(dǎo)航:試題大全9>正文
題目 題型:選答,填空 難度:★★★★★ 7.2萬熱度
反演歸結(jié)(消解)證明定理時 若當(dāng)前歸結(jié)式是()時 則定理得證。
A.永真式
B.包孕式(subsumed)
C.空子句
D.以上都不對
溫馨提示:審好題,想清楚,理明晰,再下筆!
此內(nèi)容來自于互聯(lián)網(wǎng)公開數(shù)據(jù)或者用戶提供上傳,如涉及到侵權(quán),謠言,涉隱私,涉政,違規(guī)違法 等 請及時聯(lián)系我們刪除 客服QQ 2593481824
TAGS
反演歸結(jié)消解證明定理當(dāng)前結(jié)式是時 關(guān)鍵詞試題匯總大全
本題目來自[12題庫]本頁地址:http://www.hbzysj.com/newtiku/919789/24177757.html
大家都在搜索(30分鐘前搜索數(shù)據(jù))
2025/3/23 18:48:31
2025/3/23 18:48:02
2025/3/23 18:46:43
2025/3/23 18:45:36
2025/3/23 18:45:16
最新收錄試題更多>>
其他類目題庫