Всеобщности Квантор
Логическая операция, служащая для образования высказываний с помощью оборота "для всех х". В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско.
Источник:
Математическая энциклопедия
на Gufo.me
![](http://cdn.gufo.me/i/lec-photo.jpg)