全稱封閉式

全稱封閉式(universal closure)一種閉公式. 是用全稱量詞約束給定公式所有自由變元所得的閉公式.

基本介紹

• 中文名：全稱封閉式
• 外文名：universal closure
• 定義：用全稱量詞約束給定公式所有自由變元所得的閉公式

全稱封閉式(universal closure)一種閉公式. 是用全稱量詞約束給定公式所有自由變元所得的閉公式.設公式a中含有n個自由的個體變元二:}}z } …，二。，則公式(d2n》二(b}.zz ) ( b}.z, ) a稱為a的全稱封閉式，以符號}a記之.一個公式是永真的，若且唯若它的全稱封閉式是永真的.