题目
更新时间:2026-06-26 09:46:56
求解答,词语自然推理系统是什么意思?再说说自然推理系统有什么含义?
答案

自然推理系统的词语属性

拼音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规则。

LHBSX汉语词典 - 词语成语大全

欢迎使用LHBSX汉语词典!我们提供海量词语、成语、近义词、反义词及组词查询。专业释义,精准全面,助您轻松掌握汉语词汇。如有疑问,欢迎反馈。