Rudolf Adamkovič Personal site

Up: Logic   [Top][Contents]

Quantifier

An operator that specifies

how many members of the universe

apply to the given variable, typically

all or some.

Turns a predicate into a statement, when fully quantified.

[1, Sec. 0.2]

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.