导出规则
dǎo chū guī zé
ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ
📖 词语释义
- 拼音字母dao chu gui ze
- 首字母dcgz
- 注音符号ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ
- 更新2026-07-10 06:47:52
更多解释
导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
✂️ 拆字组词
🔗 相关词语
🐾 热门组词
友情链接
抓书网
短词网
书号查询
星云网
断鹤续凫是什么意思？
绛帐海堂春是什么意思？
财务助理工作职责大全是什么意思？
液晶广告机 yè jīng guǎng gào jī 是什么意思
东洲天气预报30天是什么意思？
贝壳钱包是什么意思？
商业代理是什么意思？
华为游戏中心app官方版 游戏辅助 / 78.2M 2026-03-06 18:30:03 下载是什么意思？
魏晋 · 兰亭集序 · 王羲之是什么意思？
目空天下是什么意思？
大连天气预报30天是什么意思？
查看海南天气-佛山天气预报 查看海南天气 海南是什么意思？
我的老师语文日记（汇集19篇）是什么意思？
王阿梅是什么意思？
武汉天气预报30天是什么意思？
闪婚总动员 shǎn hūn zǒng dòng yuán是什么意思？