你可能感興趣的試題

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

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