最近在查资料时注意到「归结原理」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- guī jié yuán lǐ
- 字母
- gui jie yuan li
- 首字母
- gjyl
- 注音
- ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
归结原理
guī jié yuán lǐ · ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ