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