你
请解释一下「代入」这个词的含义。
助手
代入
dài rù · ㄉㄞˋ ㄖㄨˋ
dai ru
dr
ㄉㄞ ㄖㄨ
2026-07-10 12:26:33
扩展释义
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
请解释一下「代入」这个词的含义。
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。