Кванторы [quantifiers] — символы и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle — «все») — читается «для всех…». Например, высказывание (x∈M) читается «для всех x, принадлежащих M…».
К. существования [existential q.] обозначается перевернутой буквой Е (от немецкого existieren) и заменяет слово «существует». Например, (x∈M) расшифровывается так: «существует элемент x, принадлежащий М».
С К. можно производить определенные действия. Например, при отрицании К. заменяется на и наоборот:
… = …
Если рассмотреть высказывание: «для любого x, принадлежащего M, P(x) — истинно», то отрицание этого высказывания будет: «существует x, принадлежащий M, такой, что отрицание P(x) истинно». Или, пользуясь символической записью:
(( x ∈М) (Р(x)=И)) = (x ∈M) (P(x) = И).