请问「代入」是什么意思?
2026-07-10 09:42:41
「代入」读音
拼音 dài rù,注音 ㄉㄞˋ ㄖㄨˋ
| 拼音字母 | dai ru |
|---|---|
| 拼音首字母 | dr |
| 注音符号 | ㄉㄞ ㄖㄨ |
| 注音首符号 | ㄉㄖ |
「代入」释义
扩展释义 代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。
推荐
请问「代入」是什么意思?
「代入」读音
拼音 dài rù,注音 ㄉㄞˋ ㄖㄨˋ
| 拼音字母 | dai ru |
|---|---|
| 拼音首字母 | dr |
| 注音符号 | ㄉㄞ ㄖㄨ |
| 注音首符号 | ㄉㄖ |
「代入」释义
扩展释义 代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。