// 词语查询结果 · output
代入
updated: 2026-07-16 15:10:42
释义
「代入」是什么意思？
| 词语 | 代入 |
|---|---|
| 拼音 | dài rù |
| 拼音字母 | dai ru |
| 拼音首字母 | dr |
| 注音 | ㄉㄞˋ ㄖㄨˋ |
| 注音符号 | ㄉㄞ ㄖㄨ |
扩展释义
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
工具
拆字组词
// 点击汉字查看组词列表
相关
在线词语工具
// 词语查询结果 · output
updated: 2026-07-16 15:10:42
| 词语 | 代入 |
|---|---|
| 拼音 | dài rù |
| 拼音字母 | dai ru |
| 拼音首字母 | dr |
| 注音 | ㄉㄞˋ ㄖㄨˋ |
| 注音符号 | ㄉㄞ ㄖㄨ |
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
// 点击汉字查看组词列表