找到约 1 条结果(用时 0.03 秒)
词速通 - 汉语词语词典 › 词语 › 导出规则
导出推演规则(rule of derivation)亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则(简称初始规则)一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步,并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略,导出规则可以省略。使用导出规则的任何演绎,也总能用初始规则推出。 — 拼音 dǎo chū guī zé,更新 2026-07-13 14:06:22
| 拼音 | dǎo chū guī zé |
|---|---|
| 拼音字母 | dao chu gui ze |
| 首字母 | dcgz |
| 注音 | ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ |
| 注音符号 | ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ |