量化 (数理逻辑) 在语言和逻辑中量化是用量词指定一个谓词的有效性的广度的构造就是说指定谓词在一定范围的事物上成立的程度产生量化的语言元素叫做量词结果的句子是量化的句子我们称我们已经量化了这个谓词量化在自然语言和形式语言中都使用在自然语言中量词的例子有所有某些很多少量大量也是量词在形式语言中量化是从旧公式产生新公式的公式构造子constructor语言的语义指定了如何把这个构造子解释为一个有效性的广度量化是变量约束操作的实例 在谓词逻辑的两类基本量化是全称量化和存在量化这些概念被更详细的叙述于在单独文章中下面我们讨论适用于二者的特征其他种类的量化包括唯一量化