// 词语查询结果 · output
自然推理系统
updated: 2026-07-16 00:46:00
释义
「自然推理系统」是什么意思？
| 词语 | 自然推理系统 |
|---|---|
| 拼音 | zì rán tuī lǐ xì tǒng |
| 拼音字母 | zi ran tui li xi tong |
| 拼音首字母 | zrtlxt |
| 注音 | ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ |
| 注音符号 | ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ |
扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
工具
拆字组词
// 点击汉字查看组词列表
相关