-
存在量詞
鎖定
存在量詞，短語有些、至少有一個、有一個、存在等都有表示個別或一部分含義的詞。含有存在量詞的命題叫作特稱命題。其形式為有若干的S是P。特稱命題使用存在量詞，如有些、很少等，也可以用基本上、一般、只是有些等。
含有存在性量詞的命題也稱存在性命題。短語存在一個、至少一個在邏輯中通常叫做存在量詞，用符號∃表示。含有存在量詞的命題，叫做特稱命題（存在性命題）。
- 中文名
- 存在量詞
- 外文名
-
existential quantifier (there exists)（英語）
le quantificateur existentiel（法語）
- 別 名
- 特稱量詞
- 定 義
- 表示個別或一部分的含義
- 特稱命題
- 含有存在量詞的命題
- 形 式
- 有若干的S是P
存在量詞概念
定義：短語“有些”、“任何一個”、“至少有一個”、“有一個”、“存在”等都有表示個別或一部分的含義，這樣的詞叫作存在量詞。
特稱命題使用存在量詞，如“有些”、“很少”等，也可以用“基本上”、“一般”、“只是有些”等。含有存在性量詞的命題也稱存在性命題。
短語“存在一個”、“至少一個”在邏輯中通常叫做存在量詞，用符號“∃”表示。
含有存在量詞的命題，叫做特稱命題（存在性命題）。
例如：
(2)有些平行四邊形是菱形。
(3)有的質數不是奇數。
常見的存在量詞還有“有些”、“有一個”、“對某個”、“部分”等。
特稱命題“存在M中的一個x，使p（x）成立”。簡記為：∃x ∈ M，p（x）。
讀作：存在一個x屬於M，使p（x）成立。
存在量詞主要區別
在語句中含有短語“所有”、“每一個”、“全部”、“一切”等都是在指定範圍內，表示整體或全部的含義，這樣的詞叫作全稱量詞。
全稱量詞的否定是存在量詞。
