文络智义词库

2026-07-11 09:38:08

代入

dài rù · ㄉㄞˋ ㄖㄨˋ

字母
dai ru
首字母
dr
注音符号
ㄉㄞ ㄖㄨ
注音首符
ㄉㄖ

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

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接