Content deleted Content added
m Clarify "every boy" |
m Cleaned up some sentence structure; changed "any" to "every" for clearer definitions |
||
Line 47:
===Monotonicity===
====Monotone increasing GQs====
A ''generalized quantifier'' GQ is said to be [[monotone increasing]]
::if <math>X\subseteq Y</math>, then GQ(''X'') [[Entailment|entail]]s GQ(''Y'').
The GQ ''every boy'' is monotone increasing. For example, the set of things that ''run fast'' is a subset of the set of things that ''run''. Therefore, the first sentence below [[Entailment|entail]]s the second:
Line 54:
====Monotone decreasing GQs====
A GQ is said to be [[monotone decreasing]]
::If <math>X\subseteq Y</math>, then GQ(''Y'') entails GQ(''X'').
An example of a monotone decreasing GQ is ''no boy''. For this GQ we have that the first sentence below entails the second.
Line 66:
====Non-monotone GQs====
A GQ is said to be ''non-monotone'' if it is neither monotone increasing nor monotone decreasing. An example of such a GQ is ''exactly three boys''. Neither of the following
#Exactly three students ran.
#Exactly three students ran fast.
Line 81:
#Every boy is a boy who sleeps.
It has been proposed that ''all''
#Only boys sleep.
#Only boys are boys who sleep.
|