Content deleted Content added
→Definition in terms of ordinary quantifiers: Avoid confusion of F with falsehood |
Added short description, #suggestededit-add-desc 1.0 Tags: Mobile edit Mobile app edit Android app edit |
||
Line 1:
{{Short description|Mathematical logical term}}
A '''counting quantifier''' is a [[Mathematics|mathematical]] term for a [[Quantifier (logic)|quantifier]] of the form "there exists at least ''k'' elements that satisfy property ''X''".
In [[first-order logic]] with equality, counting quantifiers can be defined in terms of ordinary quantifiers, so in this context they are a notational shorthand.
| |||