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