問答題

【簡答題】魯濱遜歸結原理的基本思想是什么?

答案: 魯濱遜歸結原理也稱為消解原理。其基本思想是把永真性的證明轉化為不可滿足性的證明。
即要證明P->Q永真,只要能...
題目列表

你可能感興趣的試題

問答題

【簡答題】

把下列謂詞公式化成子句集:

答案:

問答題

【簡答題】什么是自然演繹推理?它所依據(jù)的推理規(guī)則是什么?

答案: 從一組已知為真的事實出發(fā),直接運用經(jīng)典邏輯中的推理規(guī)則推出結論的過程稱為自然演繹推理
推理規(guī)則:等價式,永真蘊...
微信掃碼免費搜題