找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 归结原理
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。 — 拼音 guī jié yuán lǐ，更新 2026-07-13 07:32:05
| 拼音 | guī jié yuán lǐ |
|---|---|
| 拼音字母 | gui jie yuan li |
| 首字母 | gjyl |
| 注音 | ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ |
| 注音符号 | ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ |