自然推理系统
zì rán tuī lǐ xì tǒng
ㄗˋ ㄖㄢˊ ㄊㄨㄟ ㄌㄧˇ ㄒㄧˋ ㄊㄨㄥˇ
📖 词语释义
- 拼音字母zi ran tui li xi tong
- 首字母zrtlxt
- 注音符号ㄗ ㄖㄢ ㄊㄨㄟ ㄌㄧ ㄒㄧ ㄊㄨㄥ
- 更新2026-07-16 14:54:10
更多解释
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
✂️ 拆字组词
🔗 相关词语
友情链接
抓书网
短词网
书号查询
星云网
航天空调售后全国服务号码多少实时反馈-今-日-资-讯（航天空调空调显示EH故障码，怎么处理？）是什么意思？
内蒙古自治区天气预报30天是什么意思？
修芙俪是什么意思？
顺城天气预报30天是什么意思？
高三的个人总结是什么意思？
李家德 lǐ jiā dé 是什么意思
齿库蠓是什么意思？
眼镜布 yǎn jìng bù 阅读全文是什么意思？
立部首的字是什么意思？
nagw.com是什么意思？
http://www.cthpey.com/%E5%8D%81.html
台中天气预报30天是什么意思？
鄂尔多斯天气一周查询是什么意思？
望花天气预报30天是什么意思？
阳高特产是什么意思？
丹麦留学费用最低多少钱是什么意思？