导出规则
概述
导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
2 扩展释义
导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 11:24:39
友情链接
抓书网
短词网
书号查询
星云网
杭州天气预报30天是什么意思？
全国天气预报网站地图是什么意思？
海南值得去的十个景点是什么意思？
梅河口特产是什么意思？
恐龙的战争 kǒng lóng de zhàn zhēng 是什么意思
广州天气预报30天是什么意思？
35岁还能当程序员吗？IT人的4条生存法则是什么意思？
上课睡觉万能检讨书1000字是什么意思？
本溪天气预报30天是什么意思？
miao是什么意思？
百家号是什么意思？
Unicode/ASCII转换是什么意思？
大仁庄乡 dà rén zhuāng xiāng 阅读全文是什么意思？
河北天气预报30天是什么意思？
利矛符 lì máo fú是什么意思？
Oracle游标使用全面总结是什么意思？