查询结果
自然推理系统
zì rán tuī lǐ xì tǒng
ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
「自然推理系统」是什么意思？
更新 2026-07-10 16:52:16
- 拼音字母zi ran tui li xi tong
- 首字母zrtlxt
- 注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ
扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
拆字组词
相关词语
- 丘状层理查含义
- 东西南北客查含义
- 义勇特战队查含义
- 元素查含义
- 兵车行查含义
- 出水阀查含义
- 分洪闸查含义
- 刘金硕查含义
- 加藤将之查含义
- 劫心匪查含义
- 卵菌纲查含义
- 叉条蜂查含义
- 同伦论基础查含义
- 太田七海查含义
- 宋玉军查含义
- 应急给水系统查含义
- 径向速度查含义
- 张乘豪查含义
- 我之所见查含义
- 拓扑空间查含义
- 摩尔纹查含义
- 方建强查含义
- 朱朝银查含义
- 沈刘曦查含义
- 江华宾馆查含义
- 洪梅镇查含义
- 滨湖社区查含义
- 烯丙醇查含义
- 盖重查含义
- 白栎蔀查含义
- 第谷超新星查含义
- 粘固粉查含义
- 系统管理员查含义
- 纻布查含义
- 美托拉宗查含义
- 超越时代查含义
- 魔钢查含义
- 黄耀曾查含义
- 辽宁省民委查含义
- 滑盖手机查含义
- 龟友查含义
- 多数投票制查含义
- 锦衣天下查含义
- 亚古丁查含义
- 龙起苍茫查含义
- 杜鹃传奇查含义
- 丁葵草根查含义
- 遮眼捕雀查含义
- 孟墨浓查含义
- 洪丰仓查含义