查询结果
导出规则
dǎo chū guī zé
ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ
「导出规则」是什么意思？
更新 2026-07-18 18:56:09
- 拼音字母dao chu gui ze
- 首字母dcgz
- 注音符号ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ
扩展释义
导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
拆字组词
相关词语
- 三夏查含义
- 不锈钢风管查含义
- 亵渎之靴查含义
- 低聚体查含义
- 包络代数查含义
- 功角查含义
- 前蔺沟查含义
- 吕培军查含义
- 吕松野查含义
- 四季樱草查含义
- 命运之拳查含义
- 大蜘蛛查含义
- 宫本充查含义
- 姜黎明查含义
- 姬易查含义
- 孟娜查含义
- 帝心劫查含义
- 抗原识别查含义
- 斯基克达查含义
- 昊天假日酒店查含义
- 曲瓣梾木查含义
- 曹士福查含义
- 柳石明查含义
- 极化束查含义
- 标记获救查含义
- 汪港清查含义
- 海南大厦查含义
- 漏气查含义
- 爱老慈幼查含义
- 秘鲁香胶查含义
- 罗锐和查含义
- 网纹鹦嘴鱼查含义
- 草本茶查含义
- 蒋桂荣查含义
- 跗线螨科查含义
- 赵启玉查含义
- 赵小涛查含义
- 铁壁查含义
- 天才宠妃查含义
- 墨西哥学报查含义
- 麦高文查含义
- 季欧查含义
- 汪鸿欣查含义
- 碧落天弓查含义
- 黄柑查含义
- 唇毛蚶查含义
- 大沽全海笋查含义
- 乌鸫希腊亚种查含义
- 紫木棉花查含义
- 五倍散查含义