首頁
題庫
網(wǎng)課
在線???/a>
桌面端
登錄
搜標題
搜題干
搜選項
0
/ 200字
搜索
問答題
【簡答題】魯濱遜歸結原理的基本思想是什么?
答案:
魯濱遜歸結原理也稱為消解原理。其基本思想是把永真性的證明轉化為不可滿足性的證明。
即要證明P->Q永真,只要能...
點擊查看完整答案
手機看題
你可能感興趣的試題
問答題
【簡答題】
把下列謂詞公式化成子句集:
答案:
點擊查看完整答案
手機看題
問答題
【簡答題】什么是自然演繹推理?它所依據(jù)的推理規(guī)則是什么?
答案:
從一組已知為真的事實出發(fā),直接運用經(jīng)典邏輯中的推理規(guī)則推出結論的過程稱為自然演繹推理
推理規(guī)則:等價式,永真蘊...
點擊查看完整答案
手機看題
微信掃碼免費搜題