Информатика • 10 класс

Кванторы существования и всеобщности

Квантор (от лат. «сколько») — логическая операция, показывающая о скольких объектах идет речь.
Квантор существования ∃P(х) заменяет слова «существует», «найдётся», «некоторые», «для некоторых».
Квантор всеобщности ∀P(х) заменяет слова «для всех», «для любого», «для каждого».
Например:
- Р(х) есть предикат «Число х делится на 3 нацело»;
- ∃хР(х) есть высказывание «Существует число х, которое делится на 3 нацело» (истина, 1);
- ∀хР(х) есть высказывание «Любое число х делится на 3 нацело» (ложь, 0).