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

【约束出现﹡名词解释如下】

约束出现名词解释:
变元在公式中的一种出现.一个变元x在一个公式φ中的约束出现是指存在一个φ的子公式ψ,使得ψ是以量词(x)或(x)开头,并且x在该量词的辖域中.例如,在公式(x)[x2y]中,x是约束出现,也可称x在该公式中的出现是约束的.

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



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

相关阅读:

聊城大学外语教学网
廖青
薛有志
哈师大地理科学学院
2011工程大学
调查研究法
李肖霖律师
湖北大学地址邮编
概率论答案