查询结果
导出规则
dǎo chū guī zé
ㄉㄠˇ ㄔㄨ ㄍㄨㄟ ㄗㄜˊ
「导出规则」是什么意思？
更新 2026-07-15 21:41:05
- 拼音字母dao chu gui ze
- 首字母dcgz
- 注音符号ㄉㄠ ㄔㄨ ㄍㄨㄟ ㄗㄜ
扩展释义
导出推演规则（rule of derivation）亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则（简称初始规则）一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步，并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略，导出规则可以省略。使用导出规则的任何演绎，也总能用初始规则推出。
拆字组词
相关词语
- 世纪谭府查含义
- 乳清蛋白粉查含义
- 二齿新蚤查含义
- 冯小宝查含义
- 千愁记旧情查含义
- 双奎查含义
- 失实查含义
- 徐志红查含义
- 改观查含义
- 斯文查含义
- 推力查含义
- 松坂南查含义
- 杨谈乡查含义
- 氟马西尼查含义
- 泰城查含义
- 火滚查含义
- 特征向量查含义
- 玉田查含义
- 短身腔蝠鱼查含义
- 神秘肌肤查含义
- 稠李查含义
- 程雪红查含义
- 粗茎棱子芹查含义
- 红梅花儿开查含义
- 细茎翠雀花查含义
- 脂微团查含义
- 血玺金刀查含义
- 设计深度查含义
- 赌国恩仇查含义
- 郝峰查含义
- 长叶铁角蕨查含义
- 铁达铁达查含义
- 顾盼查含义
- 飞越巅峰查含义
- 高钾血症查含义
- 九江市科技局查含义
- 坑口站查含义
- 夏妮露米娜斯查含义
- 有尾目查含义
- 暖手查含义
- 日用工业品查含义
- 真盖塔查含义
- 木下光查含义
- 珍珠燕查含义
- 水果磅蛋糕查含义
- 仙妻驾到查含义
- 海带烧土豆查含义
- 多食合查含义
- 石龙门猪笼草查含义
- 二转杏林丹查含义