归结原理

【词语拼音】guī jié yuán lǐ

【词语繁体】歸結原理

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。