查询结果
代入规则
dài rù guī zé
ㄉㄞˋ ㄖㄨˋ ㄍㄨㄟ ㄗㄜˊ
「代入规则」是什么意思？
更新 2026-07-18 10:11:34
- 拼音字母dai ru gui ze
- 首字母drgz
- 注音符号ㄉㄞ ㄖㄨ ㄍㄨㄟ ㄗㄜ
扩展释义
代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。
拆字组词
相关词语
- 三角剖分查含义
- 伯示麦查含义
- 保障计划查含义
- 公式化查含义
- 匹夫无罪查含义
- 南央美查含义
- 双灯记查含义
- 参宝查含义
- 周行文查含义
- 周胜利查含义
- 塘口乡查含义
- 宝丰苑查含义
- 宵明查含义
- 官园公园查含义
- 小男生查含义
- 廉洁查含义
- 意欲查含义
- 把位查含义
- 我眼中的她查含义
- 报称查含义
- 性爱之旅查含义
- 接骨树皮查含义
- 晁补之查含义
- 机械密封件查含义
- 杨绍龙查含义
- 横带食植瓢虫查含义
- 王晓蕾查含义
- 王焕勇查含义
- 白脉犁头尖查含义
- 短尾鹲查含义
- 稠糊查含义
- 福利院的阳光查含义
- 科学与人生观查含义
- 童玉龙查含义
- 约翰老鼠查含义
- 裂痕查含义
- 设施查含义
- 龙王徽记查含义
- 麝月查含义
- 简阳市商务局查含义
- 野兽之战新传查含义
- 乐斯菲斯查含义
- 式森和树查含义
- 转变号查含义
- 燕麦米饭查含义
- 铃鹿赛道查含义
- 凤凰鸡腿查含义
- 擦酥饼查含义
- 豉椒五花肉查含义
- 红叶美果查含义
热门组词
友情链接
抓书网
短词网
书号查询
星云网
botulinogenic是什么意思？
男人下巴短是富贵还是穷是什么意思？
雨是什么意思？
静心早安正能量励志语录(经典九十八句)是什么意思？
查看新疆天气-天气预报15天查询 查看新疆天气 新疆是什么意思？
各地铁通DNS是什么意思？
在线制作ico图标是什么意思？
厦门天气预报30天是什么意思？
猜飞机 拼音 cāi fēi jī，一文读懂「猜飞机」的含义、出处与用法。 cāi fēi jī 国典词典 - 汉语词语大全 2026-06-30 15:41:30是什么意思？
JS加密/解密 格式化转换是什么意思？
郑州天气预报30天是什么意思？
郑州天气预报30天是什么意思？
水库钓鱼钓多深是什么意思？
四字是什么意思？
行字组词是什么意思？
万家引擎是什么意思？