Обобщенный квантификатор
- Квантификаторы используются для определения количества элементов в наборе.
- Квантификаторы могут быть простыми (например, «каждый») или сложными (например, «ровно три»).
- Сложные квантификаторы, такие как «every», представляют собой функции от множеств к множеству множеств.
- Монотонность и обобщенные кванторы GQ имеют различные свойства, включая монотонно возрастающие и убывающие значения.
- Квантификаторы могут быть консервативными, что означает эквивалентность определенных предложений.
- Немонотонные GQs существуют, и их свойства могут быть сложными для анализа.
Полный текст статьи: