代入
dài rù · ㄉㄞˋ ㄖㄨˋ
- 字母
- dai ru
- 首字母
- dr
- 注音符号
- ㄉㄞ ㄖㄨ
- 注音首符
- ㄉㄖ
代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。
dài rù · ㄉㄞˋ ㄖㄨˋ
代入是谓词演算的基本运算之一。代入的一个重要特征是,代入必须是处处代入,即用一个项 t 代入一个自由变元 x ,必须用 t 代替 x 在公式中所有的自由出现。
文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。
抓书网 短词网 书号查询 星云网 徐小仙是什么意思? 百家号是什么意思? 草原上的承诺是什么意思? 体重指数计算器是什么意思? 我和她和他是什么意思? 苞是什么意思? 查看云南天气-杭州天气预报 查看云南天气 云南是什么意思? 猪脚饭 zhū jiǎo fàn是什么意思? 厦门天气预报30天是什么意思? 会计是什么意思? 餷是什么意思? 平阴玫瑰是什么意思? 广文路是什么意思? 摩托车化油器怎么放油不出 摩托车几年要换化油器是什么意思? 教师节的日记300字(二十五篇)是什么意思? 在线base64转图片是什么意思?