代入

音义

广训

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

组词

代 入

相关

• 二和
• 侯琦
• 刘小豹
• 古砦仫佬族乡
• 反常色散
• 双滚轮
• 和苗
• 团山镇
• 大方糕
• 大唐道君
• 多鬃眼蚤
• 张茂林
• 徐永森
• 拉呱儿
• 截齿
• 拖紫垂青
• 搜查证
• 春天的风
• 替他欣
• 木里蛾眉蕨
• 梁宏明
• 檩木
• 洪山坡小区
• 火炬臂
• 漂浪青春
• 甘利欣胶囊
• 盛唐风月
• 篡明
• 稀土金属
• 臧斌
• 褚伟
• 裴逵
• 超级魔鬼干部
• 赫宁
• 赛什斯镇
• 锅炉水位计
• 阿龙浴血记
• 陈端广
• 霍氏猫蛛
• 马氏笛鲷
• 龙度天门
• 麦吉迪
• 会同县卫生局
• 韶关市体育局
• 风鳗
• 脱其五味
• 激素性皮炎
• 五鼎烹
• 尹美庚
• 苏联研究