Difference between revisions of "Quantifier"
Jump to navigation
Jump to search
m (wikilinks) |
DavidB4-bot (talk | contribs) (→top: clean up & uniformity) |
||
| Line 1: | Line 1: | ||
| − | A '''quantifier''' is a [[logical operator]] which [[ | + | A '''quantifier''' is a [[logical operator]] which [[Bounded variable|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". |
[[Category:Logic]][[Category:Mathematics]] | [[Category:Logic]][[Category:Mathematics]] | ||
Latest revision as of 18:03, July 13, 2016
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".