Вопросы к Поиску с Алисой
Некоторые кванторы, которые используются в языке и логике:
Квантор — общее название для логических операций, которые ограничивают область истинности какого-либо предиката и создают высказывание. ru.wikipedia.org ru.ruwiki.ru