栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「导出规则」是什么意思?

关于「导出规则」

拼音 dǎo chū guī zé,注音 ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ。数据更新于 2026-07-15 19:52:43。

拼音字母dao chu gui ze
拼音首字母dcgz
注音符号ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ
注音首符号ㄉㄔㄍㄗ

扩展释义

导出推演规则(rule of derivation)亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则(简称初始规则)一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步,并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略,导出规则可以省略。使用导出规则的任何演绎,也总能用初始规则推出。

拆字组词

相关词语