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

【约束变元﹡名词解释如下】

约束变元名词解释:
一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是,尽管它们的取值不定,但如果其所在公式没有自由变元,这个公式的真值是确定的.例如,在公式(x)[x0]中,x是约束变元,尽管人们不给x取定某值,但仍可确定该公式在实数域上的值为假.

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



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

相关阅读:

课后答案
习题答案网
课后习题答案网
大学课后习题答案网
课后答案网
电路分析第五版答案
大学电路第五版答案
中国地大江城学院