存在封閉式

存在封閉式是一個數學術語。

基本介紹

• 中文名：存在封閉式
• 外文名：existential closure
• 釋義：用存在量詞約束給定公式的所有自由變元所得的閉公式

存在封閉式(existential closure)一種閉公式.是用存在量詞約束給定公式的所有自由變元所得的閉公式.設公式a含有n個自由的個體變元xi, xz...xn，則公式〔 ( x)二(xz)xl〕a稱為a的存在封閉式一個公式是不可滿足的，若且唯若它的存在封閉式是不可滿足的.