存在封闭式
更新时间：2024-11-05 20:23:07
存在封闭式的词语属性
拼音cún zài fēng bì shì
拼音字母cun zai feng bi shi
拼音首字母czfbs
存在封闭式的百科含义
存在封闭式(existential closure)一种闭公式.是用存在量词约束给定公式的所有自由变元所得的闭公式.设公式a含有n个自由的个体变元xi, xz}...}xn，则公式(} x 》二(}xz)}}xl)a称为a的存在封闭式一个公式是不可满足的，当且仅当它的存在封闭式是不可满足的.