导出规则

「导出规则」是什么意思？

更新 2026-07-12 02:16:08

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

扩展释义

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

拆字组词

相关词语

• 付法查含义
• 低压加深查含义
• 伍习查含义
• 卖兒鬻女查含义
• 单方演习查含义
• 原建平查含义
• 古中国之歌查含义
• 嗜魂法杖查含义
• 小丽花查含义
• 张宝森查含义
• 张瑞杰查含义
• 心如寒灰查含义
• 把月光射下来查含义
• 恒生查含义
• 春园后街查含义
• 曲妍查含义
• 柔焦查含义
• 枫林渡查含义
• 沈亚丽查含义
• 炒更查含义
• 燕归宁馨园查含义
• 王莉丽查含义
• 芳年华月查含义
• 观台镇查含义
• 讬公报私查含义
• 贪贿查含义
• 退回查含义
• 阿斯玛查含义
• 铂弄蝶属查含义
• 陷井查含义
• 阿罗约查含义
• 青竹路查含义
• 上党区查含义
• 赤坂圭一郎查含义
• 豆粒鼠查含义
• 西园寺夕鹤查含义
• 贾巴沃克查含义
• 收盘委托查含义
• 青苇查含义
• 寒溪查含义
• 刘阳一也查含义
• 脑逆头痛查含义
• 龙占科查含义
• 最佳男配角查含义
• 仔猪脱肛查含义
• 商桔梗查含义
• 丹莲安神胶囊查含义
• 盛鸣世查含义
• 当代生态农业查含义
• 陈维熙查含义

热门组词

• 上睑缘组词
• 喇叭头组词
• 念行乐组词
• 维桥乡组词
• 鱼老表组词
• 婴儿肾组词
• 吉兴楼组词
• 沉默子组词
• 马蒂莲组词
• 大城县组词