基本属性
- 拼音字母dai ru
- 拼音首字母dr
- 注音符号ㄉㄞ ㄖㄨ
扩展释义
代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。
「代入」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:dài rù,注音:ㄉㄞˋ ㄖㄨˋ。
代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。