代入 释义： 代入 代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。 参见百度百科介绍 日语 代入【だいにゅう】 名·他 サ 代入，代换，置换，代替。
