灵犀词语网 - 汉语词典
代入
dài rù
ㄉㄞˋ ㄖㄨˋ

📖 词语释义

更多解释

代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。

✂️ 拆字组词

🔗 相关词语

🐾 热门组词

友情链接