ВСЕОБЩНОСТИ КВАНТОР

ВСЕОБЩНОСТИ КВАНТОР - логическая операция, служащая для образования высказываний с помощью оборота «для всех х». В формализованных языках В. к. чаще всего обозначается ∀х, (∀х), (х). Применяются также обозначения (Ах), ∧_x, ∩_x, П_x.

В. Е. Плиско.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.