请问「自然推理系统」是什么意思？
关于「自然推理系统」
拼音 zì rán tuī lǐ xì tǒng，注音 ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ。数据更新于 2026-07-11 20:06:57。
| 拼音字母 | zi ran tui li xi tong |
|---|---|
| 拼音首字母 | zrtlxt |
| 注音符号 | ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ |
| 注音首符号 | ㄗㄖㄊㄌㄒㄊ |
扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
拆字组词
相关词语
- 一阐提是什么意思？
- 井井有法是什么意思？
- 南昌后螯蜂是什么意思？
- 压敏胶是什么意思？
- 哈维氏弧菌是什么意思？
- 埃德是什么意思？
- 城市规划法规是什么意思？
- 土西铁路是什么意思？
- 坚白相盈是什么意思？
- 壕沟是什么意思？
- 孙伟峰是什么意思？
- 小麦胚芽油是什么意思？
- 故障弱化是什么意思？
- 数字图像是什么意思？
- 景开明是什么意思？
- 杀出魔鬼镇是什么意思？
- 曹晓玮是什么意思？
- 梁剑霞是什么意思？
- 江夏大道是什么意思？
- 淮光路是什么意思？
- 狗鱼是什么意思？
- 皮佳是什么意思？
- 统克是什么意思？
- 耿马卫矛是什么意思？
- 腺萼木是什么意思？
- 董政是什么意思？
- 蒋光超是什么意思？
- 薛成龙是什么意思？
- 蚌鹬争衡是什么意思？
- 袁景安是什么意思？
- 豫章郡是什么意思？
- 远洋天地是什么意思？
- 通向是什么意思？
- 郁闷是什么意思？
- 郑珍云是什么意思？
- 阴暗是什么意思？
- 陈家麒是什么意思？
- 集贤镇是什么意思？
- 雷神村是什么意思？
- 青龙符是什么意思？
- 顾丽是什么意思？
- 食虫阿浓蛛是什么意思？
- 首要任务是什么意思？
- 鼻屎是什么意思？
- 龙脑是什么意思？
- 龙威虎将是什么意思？
- 河南省旅游局是什么意思？
- 危险能力系是什么意思？
- 香辣海参是什么意思？
- 冯守东是什么意思？