归结原理
guī jié yuán lǐ
ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ
📖 词语释义
- 拼音字母gui jie yuan li
- 首字母gjyl
- 注音符号ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ
- 更新2026-07-10 06:40:52
更多解释
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。