存在封閉式

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

相關詞條

熱門詞條

聯絡我們