代入的拼音及详细解释

【词语名称】代入（dairu）

【词语拼音】dai ru

【词语读音】dài rù

【词语简拼】DR

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

【分字组词】代字组词 入字组词