量化ウィキペディア フリーな encyclopedia 量化(りょうか、英: Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の「量」を指定すること。