【申碩】使用線性歸結法證明定理

基本過程 將已知條件化作子句集 將結論的否定化作子句集 從所有子句集中選取兩個可歸結的子句進行歸結 重複過程3，直到出現空子句NIL爲止，這時，證明在所給已知條件下結論成立。 開胃例題 真題1 使用線性歸結法證明 A1∧ A2∧ A3 →B 其中 答： 要證明A1∧ A2∧ A3 →B，也就是要證明A1∧ A2∧ A3 ∧~B是永假式（矛盾式） （這句話要答上） 結果是NIL，命題得證 真題2 答

>>阅读原文<<