词条详情
代入
更新 2026-08-18 00:19:53
| 词语 | 代入 |
|---|---|
| 拼音 | dài rù |
| 拼音字母 | dai ru |
| 拼音首字母 | dr |
| 注音 | ㄉㄞˋ ㄖㄨˋ |
| 注音符号 | ㄉㄞ ㄖㄨ |
扩展释义
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
词条详情
更新 2026-08-18 00:19:53
| 词语 | 代入 |
|---|---|
| 拼音 | dài rù |
| 拼音字母 | dai ru |
| 拼音首字母 | dr |
| 注音 | ㄉㄞˋ ㄖㄨˋ |
| 注音符号 | ㄉㄞ ㄖㄨ |
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。