存在封闭式的拼音及详细解释
【词语名称】存在封闭式(cunzaifengbishi)
【词语拼音】cun zai feng bi shi
【词语读音】cún zài fēng bì shì
【词语简拼】CZFBS
【网络释义】 存在封闭式(existential closure)一种闭公式.是用存在量词约束给定公式的所有自由变元所得的闭公式.设公式a含有n个自由的个体变元xi, xz}...}xn,则公式(} x》二(}xz)}}xl)a称为a的存在封闭式一个公式是不可满足的,当且仅当它的存在封闭式是不可满足的.
【分字组词】在字组词 存字组词 封字组词 式字组词 闭字组词