你可能感興趣的試題

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

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