Математическая энциклопедия - квантор

общее название для логических операций, к-рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает, что область истинности предиката Р(х)совпадает с областью значений переменной х. Высказывание означает, что область истинности предиката Р(х)непуста. Если интересуются поведением предиката Р(х)не на всей области значений переменной х, а лишь на ее части, выделяемой предикатом R(x), то часто употребляют так наз. ограниченные кванторы и при этом высказывание Р(х) означает то же, что и а Р(х)то же, что где a знак конъюнкции,знак импликации.

В. Е. Плиско.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985