基本属性
- 拼音字母zi ran tui li xi tong
- 拼音首字母zrtlxt
- 注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ
扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
自然推理系统是什么意思？专家解读
918学习网·汉语词语词典
2026-07-12 05:02:04
「自然推理系统」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：zì rán tuī lǐ xì tǒng，注音：ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ。