存在量化

存在量化，粵拼：cyun4 zoi6 loeng6 faa3，係邏輯同數學上成日用嘅量化概念，用嚟表達喺某個論域入便，至少存在一個元素，滿足某個特定嘅性質或者條件，例如係：實數之中有最少一個數，其平方等如 4 嘅。

喺數學同邏輯學裡便，存在量化通常會用符號 $\exists$，就好似反轉咗嘅大階 E 。

基本定義

假定 P(x) 係某個包含變數 x 嘅謂詞，而 x 嘅取值範圍係某集合 D（論域）。噉存在量化嘅命題就可以寫成：

$\exists x\in D,P(x)$

呢段嘢用粵文嚟解，可作：D 入便有 x 呢個元素，對於呢個元素嚟講 P(x) 係成立嘅。

例子：

$\exists x\in \mathbb {R} ,x^{2}-4=0$

呢句嘢係話，實數呢個集合 $\mathbb {R}$ 裡便，有最少一個元素 x，x² - 4 = 0。單憑基本嘅數學可知，當 x = 2 或者 x = -2 嘅時候，x² - 4 = 0 呢句命題會成立。因此，上述呢句用咗存在量化嘅命題，係成立嘅。

證明方法

睇埋：構造法

要證明存在量化命題，最直接方法通常係構造一個例子，即係搵出某個具體元素，並證明佢滿足指定條件。

睇埋

• 全稱量化
• 數學證明