∃ - квантор существования, читается "существует"
∀ - квантор всеобщности, читается "для любого"
Рассмотрим высказывания:
∃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
Два фермера, работая вместе, могут вспахать поле за 25 часов.
Производительность труда у первого и второго относятся как 2:5.
Фермеры планируют работать поочередно.
Сколько времени должен проработать второй фермер, чтобы поле было вспахано за 45,5 часов?
Пусть Х-производительность 1-го, У-производительность 2-го.
Система:
х+у=125
2х=5у
Последовательно:
2х+2у=2/25
2х-5у=0
7у=2/25 и у=2175
Тогда х=135
Итак, производительности мы нашли.
Поочередно фермеры работали 45,5 часа = 91/2 часа.
Пусть из этого времени 2-ой работал Т часов, тогда 1-ый работал 912-Т часов.
Уравнение:
(91/2-Т)⋅(1/35)+Т⋅(2/175)=1
имеет корень Т=17,5
Проверка.
1. проверим , что х+у=125
1/35+2/175=(70+175)/(175⋅35)=7/175=1/25
2. проверим, что 2х=3у:
2/35=5⋅2/175
3. Проверим уравнение при поочередной работе:
Если 2-ой работал 17,5 часов, то 1-ый работал 45,5-17,5=28 часов
28⋅135+(352)⋅(2175)=28/35+1/5=1
ОТВЕТ: 17,5
