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