問答題

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

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

你可能感興趣的試題

【簡答題】
把下列謂詞公式化成子句集：

答案：

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

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