自然推理系统
概述
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
2 扩展释义
自然推理系统(axiomatic system of natural deduction)一种谓词演算公理系统。所谓自然推理系统，是指不含任何公理、只含规则的推理系统。除了重复规则Rep外，每个连接词符号一般都有I规则(引人连接词符号)和E规则(消去连接词符号)；对于命题常元符号，T有I规则，⊥有E规则。
9 词语组词
相关词条
本词条最后更新于 2026-07-11 18:02:17
友情链接
抓书网
短词网
书号查询
星云网
[文书推荐] 冬季长跑活动倡议书范例是什么意思？
10首关于痛苦的古诗词 从屈原到纳兰性德看诗人如何用血泪书写生命救赎是什么意思？
矛部首的字是什么意思？
主播 (新职位)是什么意思？
干部首的字是什么意思？
社区反诈骗宣传工作总结(二十三篇)是什么意思？
春节红红火火的句子（汇编三十七句）是什么意思？
yìng yùn ér chū 应运而出是什么意思？
galgame游戏盒子最新版下载v0.9 安卓版是什么意思？
顿口调漂技巧分享是什么意思？
关于东晖相关的词语是什么意思？
压力换算器是什么意思？
武川县天气是什么意思？
滨州市纪检委是什么意思？
ABCB式是什么意思？
莆田天气一周查询是什么意思？