代入
基本解释
简解
代入的词语属性
拼音dài rù
拼音字母dai ru
拼音首字母dr
代入的百科含义
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
猜你喜欢
- shinaidebi施耐德笔
- wuyihui吴奕辉
- zhuantongshai转筒筛
- shengdunfangyu圣盾防御
- qiaojieliyule乔杰立娱乐
- hongjunchangzheng红军长征
- naipusheng奈普生
- limingqiandezhandou黎明前的战斗
- xindunlu新敦路
- guangraoxianliangshiju广饶县粮食局
- qiyefaren企业法人
- zhuchishoulei柱齿兽类
- sisheliuru四舍六入
- jianchihenongdie尖翅褐挵蝶
- duoqinghuiyouwenti多情会有问题
- xiemoshalv卸磨杀驴
- nián pí zhuó gǔ粘皮着骨
- yefuyoushengwu夜浮游生物
- xukezhi徐克芝
- lvtiantian吕田田
- lujue蕗蕨
- kaihuo开豁
- pohuaishichuangxin破坏式创新
- suipingyou穗平鲉
- chongtashangresou宠她上热搜
- nvlaodan女劳疸
- feichangqingwang非常情网
- chiyeximing齿叶菥蓂
- zhoulingzhi周灵芝
- yunzhuang云状