歸結原理

歸結 （ resolution ） 原理 ， 在數理邏輯和自動定理證明中 （ GOFAI涉及的主題 ） ， 是對於命題邏輯和一階邏輯中的句子的推理規則 ， 它導致了一種反證法的定理證明技術 。