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