代入

拼音dài rù 注音ㄉㄞˋ ㄖㄨˋ 更新2026-07-27 19:38:54
读音信息
拼音字母
dai ru
拼音首字母
dr
注音符号
ㄉㄞ ㄖㄨ
注音首字母
ㄉㄖ
百科释义

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

拆字组词