查询结果
代入规则
dài rù guī zé
ㄉㄞˋ ㄖㄨˋ ㄍㄨㄟ ㄗㄜˊ
「代入规则」是什么意思？
更新 2026-07-10 13:05:59
- 拼音字母dai ru gui ze
- 首字母drgz
- 注音符号ㄉㄞ ㄖㄨ ㄍㄨㄟ ㄗㄜ
扩展释义
代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。
拆字组词
相关词语
- 一夜生死劫查含义
- 三个吃货查含义
- 万能置换公式查含义
- 三正查含义
- 从俗就简查含义
- 产褥期感染查含义
- 佳山三花查含义
- 仙境迷踪查含义
- 傅辉查含义
- 全缘叶紫麻查含义
- 八音盒查含义
- 冥暗查含义
- 危笃查含义
- 同悦查含义
- 参苓精口服液查含义
- 周建建查含义
- 大豆根瘤菌查含义
- 夕惕查含义
- 崔晋查含义
- 戈登模型查含义
- 愚人查含义
- 方国珍查含义
- 昙华乡查含义
- 曲竿竹查含义
- 暖地杓兰查含义
- 是美男啊查含义
- 林励吾查含义
- 沈继伟查含义
- 淡黑鲿查含义
- 溶癌素查含义
- 灰叶柳查含义
- 稚气查含义
- 脱衣游戏查含义
- 范慧玲查含义
- 葵英街道查含义
- 蒋帆查含义
- 蜡黄查含义
- 董事查含义
- 费用分摊查含义
- 谦顺查含义
- 贺红霞查含义
- 金克木查含义
- 险滩查含义
- 陈福汉查含义
- 陈曙光查含义
- 青川木牍查含义
- 飞絮查含义
- 德清县林业局查含义
- 黄沙站查含义
- 皋由里西亚查含义
热门组词
友情链接
抓书网
短词网
书号查询
星云网
乌鲁木齐天气预报30天是什么意思？
扬州旅游陪玩公司是什么意思？
amdk 关于「阿梅迪克」这个词 一起来了解 阿梅迪克 的读音、含义与用法。拼音：ā méi dí kè 阅读全文是什么意思？
孙美琪疑案阿加塔 冒险解谜 | 174.76M 查看是什么意思？
袁姓女孩名字打分免费是什么意思？
关于壮美有关的词语是什么意思？
2026年属马本命年佩戴什么最好 马年本命年戴什么饰品化解是什么意思？
蒸苹果有什么功效是什么意思？
齐蕾是什么意思？
哈尔滨天气预报30天是什么意思？
在线查询A,B,C,D系列纸张的尺寸是什么意思？
内蒙古自治区天气预报30天是什么意思？
空返是什么意思？
链接直达是什么意思？
朱强是什么意思？
讳是什么意思？