量化

量化

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

the universal quantifier

"for all"

the existential quantifier

"there exists (at least one)"