∃ - квантор существования, читается "существует"
∀ - квантор всеобщности, читается "для любого"
Рассмотрим высказывания:
∃x ∃y x+y=2
"существует х и существует у, такие что выполняется условие х+у=2"
Истина. Действительно, такие числа существуют, например (1; 1), (2.5; -0.5) и т.д.
∀x ∀y x+y=2
"для любого х и для любого у выполняется условие х+у=2"
Ложь. Очевидно, не любые два числа в сумме дают 2. Например, это условие не выполняется для чисел (0; 1), (2; -0.5) и т.д.
∃x ∀y x+y=2
"существует х, такой что для любого у выполняется условие х+у=2"
Ложь. Предположим, что существует такой х, равный х₀. Тогда, выразив из формулы у, получим: у=2-х₀. Но так как х₀ - некоторая найденная константа, то и выражение (2-х₀) представляет собой константу. Но левая часть соответствует у, который может быть любым. Константа не может равняться одновременно любому выражению. Значит, такого х существовать не может. Например, если х=3, то равенство выполняется только при условии у=2-3=-1, пара (3; -1), ни при каком другом у с тем же х условие не выполняется.
∀x ∃y x+y=2
"для любого х, существует у, такой что выполняется условие х+у=2"
Истина. Выбирая "любой" х мы всегда можем вычислить соответствующее значение у по формуле у=2-х. Например, если х=π, то у=2-π, пара (π; 2-π), если х=0, то у=2-0=2, пара (0; 2), и т.д.
ответ: истинные высказывания 1, 4; ложные высказывания 2, 3
Возьмем простейшее иррациональное число √2 и соответсвенно -√2
сложим √2 + (-√2) = √2 - √2 = 0
0 число рациональное . Тем самым мы нашли два иррациональных числа, которые при сложении дают рациональное число
Так же доказывается незамкнутость иррациональных чисел при
1. разности 1+√3 и √3 равна 1
2. произведении √2 и 2√2 равно 4
3. делении 2√2 и √2 равно 2
Докажем что √2 иррациональное число
Предположим что оно рациональное то есть его можно представить в виде несократимой дроби √2=a/b где a , целые и взаимнопросты (в противном случае они бы сократились) замечаем что a b оба не четные (если бы были оба четными то сократились на 2)
Возводим в квадрат 2=a²/b² 2b²=a² замечаем что число 2b² четное, значит и a² тоже четное. заменяем a=2c и подставляем в 2b²=(2c)²=4c²
b²=2c² получили что и b четное. То есть a b четные и их можно сократить, но мы предполагали что они взаимнопросты, и тем самым допустили противоречие. Значит √2 нельзя представить в виде дроби и оно иррациональное число