歸結原理維基百科,自由的 encyclopedia 歸結(resolution)原理,在數理邏輯和自動定理證明中(GOFAI涉及的主題),是對於命題邏輯和一階邏輯中的句子的推理規則,它導致了一種反證法的定理證明技術。