標籤: 暫無標籤

全稱量詞,在邏輯理論中是嘗試形式化某個事物(邏輯謂詞)對於所有事物或所有有關的事物都為真的概念。結果的陳述是全稱量化后的陳述,我們在謂詞上有了全稱量化。在符號邏輯中,全稱量詞(典型的 "∀")是用來指示全稱量詞的符號。

1 全稱量詞 -定義

在語句中含有短語「所有」、「每一個」、「任何一個」、「任意一個」「一切」等都是在指定範圍內,表示整體或全部的含義,這樣的詞叫作全稱量詞。

含有全稱量詞的命題叫作全稱命題。

2 全稱量詞 -否定及相關

全稱量詞的否定是存在量詞。
注意:在某些全稱命題中,有時全稱量詞可以省略。

例如稜柱是多面體,它指的是「所有稜柱都是多面體」。
全稱命題:其公式為「所有S是P」。

全稱命題,可以用全稱量詞,也可以用「都」等副詞、「人人」等主語重複的形式來表達,甚至有時可以沒有任何的量詞標誌,如「人類是有智慧的。」
由於代數定理使用的是全稱量詞,因此每個代數定理都是一個特強的條件。也正是全稱量詞使得使用帶入規則進行恆等變換是代數推理的核心。

上一篇[存在量詞]    下一篇 [麥飯石濾料]

相關評論

同義詞:暫無同義詞