输入要转换的汉字或词语。
代入的拼音及读音
代入的读音:dài rù
代入的拼音:dai、ru
代入的首字母:D
代入的首字拼音:dai
代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。
友情链接:在线编辑器 姓名打分