A
quantifier is a logical symbol which makes an assertion about the set of values which make one or more formulas true. This is an exceedingly general concept; the vast majority of
mathematics is done with the two standard
quantifiers, (for all) and (there exists).Mar 22, 2013
read more >>