[] [] [] 发布人:文得学习网 发布日期:2022-01-26 共55人浏览过

【存在封闭式﹡名词解释如下】

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

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



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

相关阅读:

通信工程考研难度榜
模拟电子技术基础第五版答案
大学英语2答案
信号与系统答案
概率论与数理统计第四版课后答案
全新版大学进阶英语综合教程2
西方经济学微观部分第五版答案
大学英语精读2课后答案
考研英语单词软件哪个好
饿了么取消订单红包会退吗
21世纪大学英语综合教程4课后答案
小学教师资格证考试重点
大学英语综合教程2
内蒙古公务员在线学习网
微观经济学重点
新视野大学英语1课后答案
概率论与数理统计第四版答案