量化 (數理邏輯)
邏輯運算符,限定論域中滿足公式的個體數量 / 維基百科,自由的 encyclopedia
在語言和邏輯中,量化是用量詞指定一個謂詞的有效性的廣度的構造,就是說指定謂詞在一定範圍的事物上成立的程度。產生量化的語言元素叫做量詞。結果的句子是量化的句子,我們稱我們已經量化了這個謂詞。量化在自然語言和形式語言中都使用。在自然語言中,量詞的例子有「所有」、「某些」;「很多」、「少量」、「大量」也是量詞。在形式語言中,量化是從舊公式產生新公式的公式構造子(constructor)。語言的語義指定了如何把這個構造子解釋為一個有效性的廣度。量化是變量約束操作的實例。
在謂詞邏輯的兩類基本量化是全稱量化和存在量化。這些概念被更詳細的敘述於在單獨文章中;下面我們討論適用於二者的特徵。其他種類的量化包括唯一量化。