“至少”沒有單獨的符號，存在使用符號“∃”表示

∀ ：全稱量詞，即存在任意的意思

∃： 存在量詞，即存在的意思

全稱量詞定義： 在數學語句中含有短語"所有"、"每一個"、"任何一個"、"任意一個""一切"等都是在指定範圍內，表示整體或全部的含義，這樣的詞叫作全稱量詞。 含有全稱量詞的命題叫作全稱命題。全稱量詞的否定是存在量詞。

注意

在某些全稱命題中，有時全稱量詞可以省略。例如稜柱是多面體，它指的是“所有稜柱都是多面體”。

1、“對所有的”、“對任意一個”等詞在邏輯中被稱為全稱量詞，記作“∀”，含有全稱量詞的命題叫做全稱命題。

對M中任意的x，有p(x)成立，記作"∀"x∈M，p(x)。

讀作：每一個x屬於M，使p（x）成立。

2、“存在一個”、“至少有一個”等詞在邏輯中被稱為存在量詞，記作“∃”，含有存在量詞的命題叫做特稱命題。

M中至少存在一個x，使p(x)成立，記作"∃"x∈M，p(x)。

讀作：讀作：存在一個x屬於M，使p（x）成立。

否定：

1、對於含有一個量詞的全稱命題p："∀"x∈M，p(x)的否定┐p是："∃"x∈M，┐p(x)。

2、對於含有一個量詞的特稱命題p："∃"x∈M，p(x)的否定┐p是："∀"x∈M，┐p(x)。

全稱命題

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

存在量詞

定義：短語“有些”、“至少有一個”、“有一個”、“存在”等都有表示個別或一部分的含義，這樣的詞叫作存在量詞。含有存在量詞的命題叫作特稱命題。特稱命題 :其公式為“有的S是P”。特稱命題使用存在量詞，如“有些”、“很少”等，也可以用“基本上”、“一般”、“只是有些”等。含有存在性量詞的命題也稱存在性命題。短語“存在一個”、“至少一個”在邏輯中通常叫做存在量詞，用符號“∃”表示。含有存在量詞的命題，叫做特稱命題（存在性命題）。

含有存在量詞的命題，叫做特稱命題（存在性命題）。

例如：

⑴有一個素數不是奇數；

⑵有的平行四邊形是菱形。

常見的存在量詞還有“有些”、“有一個”、“對某個”、“有的”等。

特稱命題“存在M中的一個x，使p（x）成立”。簡記為：∃x ∈ M，p（x）

讀作：存在一個x屬於M，使p（x）成立。