代入

代入的词语属性

代入的百科含义

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

• 月岛狩人
• 伊拍相机
• 沧口公园
• 国际网络集团
• 颌下区囊肿
• 盲目飞行
• 烩鸡肉饺
• liǔ dài柳黛
• 宇宙轰炸机
• 抓钢机
• 明源云采购
• zhòng mén重门
• 南京家教吧
• 戒舟慈棹
• shì dù适度
• 灯网
• 大人的心理学
• 长宁奇象白蚁
• 广告查杀
• bù gǔ不蛊
• 房屋维修费
• 西溪花园
• tè gù特故
• 周英男
• 番泻叶甙
• 宣武门外西里
• 新泰路
• 杨叶组
• 聚合光能剂
• 李浩弼