問答題

【簡答題】什么是置換？什么是合一？

答案： 在不同謂詞公式中，往往會出現(xiàn)多個謂詞的謂詞名相同但個體不同的情況，此時推理過程是不能直接進行匹配的，需要先進行變元的替換...
題目列表

你可能感興趣的試題

問答題

【簡答題】什么是混合推理？它由哪幾種實現(xiàn)方式？
答案：

正向推理和逆向推理結(jié)合起來所進行的推理稱為混合推理
實現(xiàn)：先正后逆，先逆后正，隨機
問答題

【簡答題】什么是逆向推理？其基本過程是什么？
答案： 以某個假設(shè)目標作為出發(fā)點的推理方法
過程：
（1）將問題的初始證據(jù)和要求證的目標（稱為假設(shè)）分別放入...
微信掃碼免費搜題