Quantifier
This is the current revision of Quantifier as edited by DavidB4-bot (talk | contribs) at 18:03, July 13, 2016. This URL is a permanent link to this version of this page.
A quantifier is a logical operator which bounds a variable. Every quantifier must apply to some variable. Some examples of quantifiers include <math>\forall, \exists, \exists^\infty, \exists !, \exists^{=n}, Q, \star, \Box, \Diamond,</math> and <math>\Delta^\sharp</math>. These roughly correspond to natural language quantifiers such as "all", "some", "exists finitely many", "probably exists".