Квантор: различия между версиями

: <math> (\exists x \in \mathbb{N}) P(x)</math>.

 

Пусть на множестве <math>X</math> простых чисел задан предикат <math>P(x)</math>: «Простое число <math>x</math> нечётно». Подставим перед этим предикатом слово «любое». Получим ложное высказывание «любое простое число <math>x</math> нечётно» (это высказывание ложно, так как 2 — простое чётное число).