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

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

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

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



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

相关阅读:

材料力学刘鸿文
鲁迅美术学院2012
华东交大基础学院
河北工程大学理学院
贵阳中医学院药学院
概率论与数理统计答案
新编大学英语3答案
机械设计基础课件
微观经济学试题
宏观经济学考试试题