量化（りょうか、）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。

在谓词逻辑中，全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词(典型的 "∀")是用来指示全称量化的符号。

量化（りょうか、）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。

在谓词逻辑中，全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述，我们在谓词上有了全称量化。在符号逻辑中，全称量词(典型的 "∀")是用来指示全称量化的符号。