代入规则

「代入规则」是什么意思？

更新 2026-07-11 20:33:25

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

扩展释义

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

拆字组词

相关词语

• 九尾冲查含义
• 伊利捷维斯查含义
• 佛足顶礼查含义
• 光棍危机查含义
• 冲冲冲查含义
• 冰山上的雪莲查含义
• 南车查含义
• 向军南里查含义
• 周德成查含义
• 基因平衡查含义
• 富克斯群查含义
• 宋瑞祥查含义
• 干体查含义
• 庞各庄乡查含义
• 悲喜交切查含义
• 戎政查含义
• 操盘人生查含义
• 格兰奎斯特查含义
• 樫田正刚查含义
• 沙岗镇查含义
• 爱笑的眼睛查含义
• 王广珍查含义
• 生物传感器查含义
• 福田交通枢纽查含义
• 粗毛淫羊藿查含义
• 老洪查含义
• 裸露在狼群查含义
• 豆豉姜查含义
• 赵国滨查含义
• 钛滤芯查含义
• 靳寨乡查含义
• 颜景明查含义
• 驴嘎上电视查含义
• 珠海金域酒店查含义
• 加米尔高原查含义
• 加布丽埃勒查含义
• 桐敷千鹤查含义
• 红袋鼠查含义
• 过端查含义
• 猪蹄煮豆腐查含义
• 芙蓉羊肾粥查含义
• 看动漫杂志查含义
• 艾炷查含义
• 骑马漏查含义
• 孟庆功查含义
• 修持心要查含义
• 建桥大学查含义
• 北平会查含义
• 信翔生态园查含义
• 冷香水查含义

热门组词

• 外寄生组词
• 大明尊组词
• 崇雒乡组词
• 海天蛇组词
• 关东情组词
• 河源客组词
• 吴嘉行组词
• 大盂鼎组词
• 浮冰群组词
• 三元区组词