代入规则
基本解释
简解
代入规则的词语属性
拼音dài rù guī zé
拼音字母dai ru gui ze
拼音首字母drgz
代入规则的百科含义
代入规则（rule of substitution）形式系统中规定用一公式去替换在某特定公式中出现的变元的规则。一个变元在一公式中可能不只出现一次，如果用某一公式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。在命题演算中，只有命题变元，所以只有命题变元代人规则。但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代人规则。在有些逻辑系统中，如果用公理图式去替代公理时。变形规则中就没有代入规则。
猜你喜欢
- jiujuyin九句因
- dezhouqijing德州骑警
- zhuangxiuzhaobiao装修招标
- liujine刘金娥
- piankeningjing片刻宁静
- zhangyu章瑜
- zhoudaochang周道昌
- xumeichuanchuanxiang徐妹串串香
- huishouershouji回收二手机
- zhongguoxinxibao中国信息报
- nengpu能谱
- xiaosongjituan小松集团
- panjingui潘觐贵
- caoyalu曹雅鲁
- yingmaolongdan硬毛龙胆
- tangying唐郢
- chenyuantanxiang陈袁滩乡
- daxiecun大歇村
- wenchangcun文昌村
- zhongshengqiyu重生祈语
- míng shēng名声
- hetaocunmeishi核桃村美食
- yuanbangsun圆棒榫
- dingyabushuizhuangzhi定压补水装置
- xiezhenyu谢振宇
- luokerenqiangshou洛克人枪手
- hexiaoping贺小平
- qīng miàn liáo yá青面獠牙
- wangyongjun王勇均
- duixiaganyizang对虾肝胰脏