查询结果
自然推理系统
zì rán tuī lǐ xì tǒng
ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
「自然推理系统」是什么意思？
更新 2026-07-12 03:49:34
- 拼音字母zi ran tui li xi tong
- 首字母zrtlxt
- 注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ
扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
拆字组词
相关词语
- 三重线查含义
- 三防门查含义
- 上帝查含义
- 丝炭查含义
- 九间楼乡查含义
- 任学成查含义
- 余裕查含义
- 包心丸查含义
- 单帮查含义
- 厚唇舌唇兰查含义
- 发明工坊查含义
- 基群丛查含义
- 大宋异姓王爷查含义
- 宏利大厦查含义
- 家景查含义
- 官营村查含义
- 尺蝽查含义
- 廖炯模查含义
- 微水仪查含义
- 张拥军查含义
- 张军桥查含义
- 排骨灵查含义
- 斜线垂耳蚕蛾查含义
- 数典忘祖查含义
- 断跟的高跟鞋查含义
- 无敌膏查含义
- 替身女友查含义
- 朱素琴查含义
- 李占江查含义
- 李易安查含义
- 条件极值查含义
- 温泉源查含义
- 牛羊草结查含义
- 玛丽亚狂热查含义
- 王继涛查含义
- 磁感应线查含义
- 破碎机械查含义
- 石油污染查含义
- 祁辉浪查含义
- 神情沮丧查含义
- 蓄水层查含义
- 造次查含义
- 长体西鲱查含义
- 雅裕查含义
- 非交换型查含义
- 高温计查含义
- 黑色枪骑兵查含义
- 黑点左鲆查含义
- 鲤城街道查含义
- 吉林省建设厅查含义