词语含义

查询结果

代入

dài rù

ㄉㄞˋ ㄖㄨˋ

「代入」是什么意思?

更新 2026-07-11 01:39:18

扩展释义

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

拆字组词

相关词语

热门组词

友情链接