Квантор: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
MBHbot (обсуждение | вклад) м →Примечания: замена lang-en по запросу на ВП:ЗКБВ, removed stub tag |
отмена правки 73367987 участника 85.117.99.186 (обс) |
||
Строка 20:
: <math> (\exists x \in \mathbb{N}) P(x)</math>.
== Введение в
Пусть на множестве <math>X</math> простых чисел задан предикат <math>P(x)</math>: «Простое число <math>x</math> нечётно». Подставим перед этим предикатом слово «любое». Получим ложное высказывание «любое простое число <math>x</math> нечётно» (это высказывание ложно, так как 2 — простое чётное число).
|