量化 (數理邏輯)

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

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

最常用嘅量化子有 。「」表示「冚唪唥都」,而「」表示「存在」。例:

(對於所有嘅 嚟講, 呢句嘢成立)
(對於最少一個 嚟講, 呢句嘢成立)