【改名规则﹡名词解释如下】
改名规则名词解释:
改名遵循的原则.该规则要求公式中约束变元改名后真值不变.如果一个公式α中没有变元y的任何出现(自由或约束出现),当把α中一切x的自由出现改为y的自由出现,其结果记为β,则永有

免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。
相关阅读:
中医基础理论试题电路第五版课后答案
甘肃农业大学工学院
电路第五版答案
2010年mba
英语六级答案购买
湖南省委党校网
金融市场学课后答案
新疆财经大学mba
微观经济学高鸿业
中医基础理论电子书
心理学硕士点
江西南昌大学医学院
河北经贸大学学位办