[] [] [] 发布人:考试题库网 发布日期:2022-01-26 共26人浏览过

【改名﹡名词解释如下】

改名名词解释:
谓词演算的基本运算之一.在一个公式中将一个约束变元改为另一个约束变元的运算.正确的改名不改变公式的真值.例如,可将公式(x)[x2y]中的约束变元x改为z,得(z)[z2y].所得公式与原公式是等价的.

关注VX公众号【文得课堂】免费领取考试资料。



免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。

相关阅读:

结构力学课后答案
谨慎性原则要求
成都理工广播影视
河北农大水产学院
谢晋恒通艺术学校
微观经济学课后答案
延安大学财经学院
成都理工影视学院
结构力学课后习题答案
辽宁医学院药学院
边际报酬递减规律