找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 代入规则
代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。 — 拼音 dài rù guī zé，更新 2026-07-10 11:25:55
| 拼音 | dài rù guī zé |
|---|---|
| 拼音字母 | dai ru gui ze |
| 首字母 | drgz |
| 注音 | ㄉㄞˋ ㄖㄨˋ ㄍㄨㄟ ㄗㄜˊ |
| 注音符号 | ㄉㄞ ㄖㄨ ㄍㄨㄟ ㄗㄜ |