量化 (數理邏輯)

  提示：呢篇文講嘅唔係量化。

喺數學同邏輯學上，量化子，英文：quantifier，係算子一種，特徵係會講明論域中有幾多個個體能夠滿足開放句子。簡單講，量化子做嘅嘢係講明某拃物體入便，有幾多件物體係滿足某條條件嘅。

常用嘅量化子有全稱量化 $\forall$ 同存在量化 $\exists$。全稱量化係表示全部都合乎條件，而存在量化則表示有至少一個物體合乎條件，即係：

$\forall {x}\,P$，意思係話對所有嘅 $x$ 嚟講，$P$ 呢句嘢都成立。

$\exists {x}\,P$，意思係話對最少一個 $x$ 嚟講，$P$ 呢句嘢成立。

語言研究

語言學上嘅語義研究，亦有討論量化嘅概念。

睇埋

• 數學證明

文獻

• Barwise, Jon; and Etchemendy, John, 2000. Language Proof and Logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press.
• Brown, Christopher W. (July 31, 2002). "What is Quantifier Elimination". 喺Aug 30, 2018搵到.