【全称封闭式﹡名词解释如下】
存在封闭式名词解释:
一种闭公式.是用存在量词约束给定公式的所有自由变元所得的闭公式.设公式α含有n个自由的个体变元x1,x2,…,xn,则公式(xn)…(x2)(x1)α称为α的存在封闭式.一个公式是不可满足的,当且仅当它的存在封闭式是不可满足的.

免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。
相关阅读:
广西招生考试院网站金融市场学张亦春
微观经济学试题及答案
山西省招生考试网
初级经济师历年真题
二建考试试题
护士资格证试题
经济学试题及答案
材料力学教材
大学英语六级听力下载
场外交易市场
微观经济学试题
工商管理就业方向
五星红旗迎风飘扬歌词