「代入规则」读音

拼音 dài rù guī zé，注音 ㄉㄞˋ ㄖㄨˋ ㄍㄨㄟ ㄗㄜˊ

拼音字母	dai ru gui ze
拼音首字母	drgz
注音符号	ㄉㄞ ㄖㄨ ㄍㄨㄟ ㄗㄜ
注音首符号	ㄉㄖㄍㄗ

「代入规则」释义

扩展释义 代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。

相关推荐

拆字组词：

• 「代」字组词
• 「入」字组词
• 「规」字组词
• 「则」字组词

相关词语：

• 三出叶委陵菜
• 九翅砂仁
• 单片
• 动物动物们
• 双辽电厂
• 发蒙振聩
• 大康帝后传
• 定数难逃
• 孟婆
• 帅长斌
• 建筑玻璃贴膜
• 张成文
• 快递费
• 悬谷
• 日省月修
• 明轩
• 村史
• 杨馥如
• 植物名称废弃
• 樊蕊
• 果胶裂合酶
• 港澳中心
• 溪丘湾乡
• 王安忆
• 王安良
• 王雪茹
• 筛分分析
• 糊涂绑架事件
• 红玫瑰大酒店
• 罗实
• 肠损伤
• 脱脂乳
• 萨陀波伦菩萨
• 若琳
• 臣一主二
• 赵不仁
• 铁皮娃娃
• 银纸万岁
• 银行资产
• 长胸谷盗
• 阿梨诃咃
• 陈珍
• 锻压技术
• 降压丸
• 非刑吊拷
• 鸡同鸭讲
• 高木礼子
• 海口海鹰大厦
• 皮里克
• 夜明秋野

你还可以继续问我这些组词：

• 「端木焯」可以组哪些词？
• 「湘士人」可以组哪些词？
• 「基础型」可以组哪些词？
• 「慕容垂」可以组哪些词？
• 「卯酉圈」可以组哪些词？
• 「竹节虾」可以组哪些词？
• 「联产品」可以组哪些词？
• 「飘香馆」可以组哪些词？
• 「洗身洞」可以组哪些词？
• 「支线船」可以组哪些词？

友情链接

抓书网 短词网 书号查询 星云网 想一出是一出是什么意思？ JSON转YAML JSON工具是什么意思？ 查看山西天气-天机气象站一周天气 查看山西天气 山西是什么意思？ 敏感词/违禁词检测 对内容中的敏感词/违禁词进行检测是什么意思？ 包龙图智赚合同文字是什么意思？ 成都天气预报30天是什么意思？ 数字化运营经理 (新职位)是什么意思？ 网易创作匠下载是什么意思？ 百家号是什么意思？ 白兰地搭配是什么意思？ 百家号是什么意思？ 涂序华是什么意思？ 查看河北天气-彩虹天气 查看河北天气 河北是什么意思？ 查看甘肃天气-扬州天气预报 查看甘肃天气 甘肃是什么意思？ 微型电机是什么意思？ 加工工件检讨书（推荐十七篇）是什么意思？