Квантор
Материал из Википедии — свободной энциклопедии
Квантор — общее название для логических операций, которые по предикату строят высказывание, характеризующее область истинности предиката . В математической логике наиболее употребительны кванторы всеобщности и квантор существования :
- Высказывание означает, что область истинности предиката P(x) совпадает с областью значений переменной x.
- Высказывание означает, что область истинности предиката P(x) непуста.