题目
更新时间：2026-06-26 06:23:57
求解答，词语自然推理系统是什么意思？再说说自然推理系统有什么含义？答案
自然推理系统的词语属性
拼音zì rán tuī lǐ xì tǒng
拼音字母zi ran tui li xi tong
拼音首字母zrtlxt
注音ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ
注音首符号ㄗㄖㄊㄌㄒㄊ
自然推理系统的词语解释
自然推理系统[ zì rán tuī lǐ xì tǒng ][ ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ ]
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
语林释义-汉语词语词典
欢迎使用语林释义！本站提供权威的词语解释、成语故事、近义词反义词对比及组词推荐。如有疑问，欢迎反馈，我们将持续优化查询体验。