请问「导出规则」是什么意思？
2026-07-11 19:36:57
「导出规则」读音
拼音 dǎo chū guī zé，注音 ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ
| 拼音字母 | dao chu gui ze |
|---|---|
| 拼音首字母 | dcgz |
| 注音符号 | ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ |
| 注音首符号 | ㄉㄔㄍㄗ |
「导出规则」释义
扩展释义 导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
推荐