量化 (數理邏輯)

喺數學同邏輯學上，量化子（quantifier）係指一個講明個論域當中有幾多個個體能夠滿足一句開放句子嘅算子，簡單講，一個量化子做嘅嘢係講明「某柞嘢入面有幾多件嘢係滿足某條條件嘅」。

最常用嘅量化子有 $\forall$ 同 $\exists$。「$\forall$」表示「冚唪唥都」，而「$\exists$」表示「存在」。例：

$\forall {x}\,P$（對於所有嘅 $x$ 嚟講，$P$ 呢句嘢成立）

$\exists {x}\,P$（對於最少一個 $x$ 嚟講，$P$ 呢句嘢成立）