кванторы. Справочник технического переводчика. Интент.

	кванторы Символы и . Квантор общности [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) = И). [http://slovar-lopatnikov.ru/]
EN
FR

кванторы