問答題

【簡答題】魯濱遜歸結(jié)原理的基本思想是什么？

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

你可能感興趣的試題

問答題

【簡答題】

把下列謂詞公式化成子句集：
答案：

問答題

【簡答題】什么是自然演繹推理？它所依據(jù)的推理規(guī)則是什么？
答案： 從一組已知為真的事實(shí)出發(fā)，直接運(yùn)用經(jīng)典邏輯中的推理規(guī)則推出結(jié)論的過程稱為自然演繹推理
推理規(guī)則：等價(jià)式，永真蘊(yùn)...
微信掃碼免費(fèi)搜題