Всеобщности Квантор

Логическая операция, служащая для образования высказываний с помощью оборота "для всех х". В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско.