Облако знаний. Кванторы существования и всеобщности. Информатика. 10 класс

Кванторы — это специальные знаки в логике, которые показывают, о скольких предметах идёт речь в высказывании. Они помогают точно сказать, для всех ли объектов верно утверждение или хотя бы для одного. В логике есть два основных квантора: квантор всеобщности и квантор существования.
Квантор всеобщности (∀) читается как «для всех» или «для любого». Он показывает, что какое-то свойство выполняется для всех элементов множества.
Определение: ∀x P (x) — для любого x верно свойство P (x).
Пример: ∀x (x² ≥ 0) — для любого числа x его квадрат неотрицателен.
Квантор существования (∃) читается как «существует хотя бы один» или «найдётся такой». Он показывает, что свойство верно хотя бы для одного элемента множества.
Определение: ∃x P (x) — существует хотя бы один x, для которого выполняется свойство P (x).
Пример: ∃x (x² = 4) — существует число, квадрат которого равен четырём (например, x = 2).
Если поставить отрицание, то кванторы меняются местами:
- ¬(∀x P (x)) ⇔ ∃x ¬P (x) — не для всех x верно P (x), значит, есть хотя бы один, для которого неверно;
- ¬(∃x P (x)) ⇔ ∀x ¬P (x) — не существует x, для которого верно P (x), значит, для всех x это неверно.
Также важно, в каком порядке стоят кванторы:
- ∀x ∃y P (x, y) — для каждого x найдётся свой y;
- ∃y ∀x P (x, y) — существует один y, который подходит для всех x.
Это разные высказывания, и менять кванторы местами нельзя.