4,781
edits
Changes
Jump to navigation
Jump to search
added linked-to page in logic
A '''quantifier''' is a [[Logical_operator|logical operator]] which [[Bounded_variable|bounds a variable]]. Every quantifier must apply to some [[Variable|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|natural language]] quantifiers such as "all", "some", "exists finitely many", "probably exists".
[[Category:Logic]][[Category:Mathematics]]
[[Category:Logic]][[Category:Mathematics]]