∃ - квантор существования, читается "существует"
∀ - квантор всеобщности, читается "для любого"
Рассмотрим высказывания:
∃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
Ивану Царевичу нужно загадать 15552. Каждый день он будет делить это число на натуральное, превосходящее 1. Лучше всего делить на 2, но 2 дня подряд нельзя использовать одно и то же число, поэтому на второй день он поделит то, что получилось, на 3. На третий день снова на 2 и так далее. Чередование 2 и 3.
Делим:
15552/2=7776 (первый день);
7776/3=2592 (второй день);
2592/2=1296 (третий день);
1296/3=432 (четвёртый день);
432/2=216 (пятый день);
216/3=72 (шестой день);
72/2=36 (седьмой день);
36/3=12 (восьмой день);
12/2=6 (девятый день);
6/3=2 (десятый день);
2/2=1 (одиннадцатый день, в который его съедят).
Итак, загадав 15552, Иван Царевич сможет продержаться ещё 10 дней.
Чтобы получить это число, необходимо понимать, что в конце концов мы придём к 1. Поэтому 15552 мы получим следущий образом:
1•2•3•2•3•2•3•2•3•2•3•2 (6 умножений на 2 и 5 умножений на 3).
