Математическая энциклопедия:
Логическая операция, служащая для образования высказываний с помощью оборота "для всех х". В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020