Content deleted Content added
Citation bot (talk | contribs) Added isbn. | Use this bot. Report bugs. | Suggested by Superegz | Category:Quantifier (logic) | #UCB_Category 4/19 |
m Added short description #article-add-desc Tags: Mobile edit Mobile app edit iOS app edit |
||
Line 1:
{{Short description|Expression denoting a set of sets in formal semantics}}
In [[formal semantics (natural language)|formal semantics]], a '''generalized quantifier''' ('''GQ''') is an expression that denotes a [[set of sets]]. This is the standard semantics assigned to [[Quantifier (logic)|quantified]] [[noun phrase]]s. For example, the generalized quantifier ''every boy'' denotes the set of sets of which every boy is a member:
<math display="block">\{X \mid \forall x (x \text{ is a boy} \to x \in X) \}</math>
| |||