量化_(數理邏輯)

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