謂詞邏輯中,全稱命題是對論域內所有成員的性質或關係的論斷結果的陳述。在符號邏輯中,全稱量詞∀是用來指示全稱量化的符號。

與它相對的,表示至少一個事物為真的量詞為存在量詞

基礎

編輯

要表達「2乘以所有自然數都等於該自然數和自己相加的和」,一種方式的是:

 ,且 ,且 ,且 ,以此類推。

因為使用了「且」一詞,這看上去是邏輯合取。然而形式邏輯中的合取概念卻不能表達出「以此類推」一詞的含義。

因此將該命題改述為

對於任意自然數  

這便是一個使用全稱量化的單一命題。該命題比原命題更精確,因為「以此類推」一詞想表示的是要包括所有的自然數、且除此之外不包括任何其它內容,但語言中並沒有明確地陳述這點,這便是「以此類推」一詞不能被形式地解釋的根本原因。

這個新命題為,因為任何自然數 都使命題 成立。反之,命題「對任何自然數 ,都有 則為假,因為當 取1時, 便不成立。儘管大多數自然數 都滿足 ,但存在至少一個反例足以舉證全稱命題為假。

然而,「對任何合數 ,都有 」是真命題,因為所有的反例均不是合數。這說明了論域的重要性——確定變量 的取值範圍。 限制存在量化的論域要使用邏輯條件。例如「對任何合數 ,都有 邏輯等價於「對任何自然數 ,如果 為合數,則 」。這裏「如果……則」的句子構造出了邏輯條件。


在符號邏輯中,使用全稱量詞「∀」(倒置的無襯線體字母「A」)來表示全稱量化。所以如果 是謂詞「 」,而 則是自然數集,那麼有

 

表示的是假命題「對任何自然數 ,都有 」。

類似地,若命題 陳述的是「 為合數」,那麼有

 

表示的是真命題「對任何合數 ,都有 」。

圓括號也有時用來表示全稱量化。

 

性質

編輯

否定

編輯

注意到一個量化的命題函數的結果是一個命題;因此像命題一樣,量化的函數也可被否定。數學家和邏輯學家用來表示否定的符號是: 

舉例來說,定義 為命題函數「 已婚」;則對所有活人組成的論域 ,考慮全稱量化「對給定的任何活人 ,此人都已婚」:

 

顯然,這個命題為假,於是我們可以切實地說:「並非都是這樣的情況,即:對給定的任何活人 ,此人都已婚」,或以符號記作:

 .

花點時間來考慮,準確地說,對全稱量詞進行否定就意味:如果並非對論域中的每一個元素來說命題均為真的話,則必存在至少一個元素使命題為假。這就是說,對命題函數 的否定是邏輯等價於「存在着某個沒有結婚的活人 」的,或記作:

 

一般地,則有,對一個命題函數的全稱量化的否定是該命題函數的否定的一個存在量化;可用符號表示為:

 

推理規則

編輯

推理規則是指由假設到結論的過程中證明一個邏輯步驟成立的規則。有若干推理規則利用了全稱量詞。

普遍例證(Universal instantiation)推定出的結論是這樣的:若已知命題函數普遍成立,則其必對論域中任何隨意給出的元素均成立。將此符號化地表示為

 

其中 是論域中可完全隨意確定的某個元素。

普遍概括(Universal generalization)推定出的結論是這樣的:若命題函數對論域中任何隨意給出的元素均成立,則其普遍成立。以符號表示為:對某個可隨意確定的c,

 

特別重要的是必須注意到, 必須是完全隨意確定的;否則便不能遵循該邏輯:若 不是隨意確定的、而是論域中的一個特定元素,則 僅說明蘊意着該命題函數的某個存在量化可成立。

參考資料

編輯

參見

編輯