存在封闭式
（数学术语）
存在封闭式是一个数学术语。存在封闭式(existential closure)一种闭公式.是用存在量词约束给定公式的所有自由变元所得的闭公式.设公式a含有n个自由的个体变元xi， xz}...}xn，则公式(} x》二(}xz)}}xl)a称为a的存在封闭式一个公式是不可满足的，当且仅当它的存在封闭式是不可满足的.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0
/
0
题库进度：
0
/
0
技能进度：
0
/
关注级别：
取消关注
【参数模块正在开发当中】