自然推理系统

「自然推理系统」是什么意思？

更新 2026-07-17 22:02:08

• 拼音字母zi ran tui li xi tong
• 首字母zrtlxt
• 注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ

扩展释义

自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。

拆字组词

相关词语

• 两次三番查含义
• 二岔肢查含义
• 二益丸查含义
• 信道查含义
• 余兵查含义
• 参鹿扶正合剂查含义
• 周冰倩查含义
• 啓手啓足查含义
• 大化改新查含义
• 对马海流查含义
• 宁夏元查含义
• 层级查含义
• 康复查含义
• 悲恸欲绝查含义
• 情同骨肉查含义
• 日本瓶尔小草查含义
• 教益查含义
• 文武全才查含义
• 旋光糖量计查含义
• 昭苏镇查含义
• 朱巍查含义
• 林慧玲查含义
• 江淮晨报查含义
• 潘伟超查含义
• 溪水雅地查含义
• 白羽书生查含义
• 神圣裁决查含义
• 蔡朝查含义
• 补苴调胹查含义
• 蒋科查含义
• 赢驷查含义
• 释瑞达查含义
• 郭宗训查含义
• 铣钻床查含义
• 陈玉丽查含义
• 陈颂明查含义
• 难以忘怀查含义
• 难忘的夏天查含义
• 黄山云松宾馆查含义
• 平安站查含义
• 台州市农业局查含义
• 亚古拉兽查含义
• 野比助查含义
• 假芹菜猪肝汤查含义
• 富维克查含义
• 特味辣酱查含义
• 长湖银鱼查含义
• 马努斯草鸮查含义
• 解冤神丹查含义
• 飞天女警查含义

热门组词

• 清网行动组词
• 沈阳百帝组词
• 鼓吻奋爪组词
• 失道寡助组词
• 重庆大宅组词
• 逆天掌道组词
• 天之所助组词
• 神芜天尊组词
• 非常舞者组词
• 水下游戏组词