Тема . Математический анализ

.10 Множества и операции с ними. Функции. Мощности множеств. Множества на вещественной прямой. Вещественные числа.

Вспоминай формулы по каждой теме
Решай новые задачи каждый день
Вдумчиво разбирай решения
ШКОЛКОВО.
Готовиться с нами - ЛЕГКО!
Подтемы раздела математический анализ
Решаем задачу:

Ошибка.
Попробуйте повторить позже

Задача 1#136228

Пусть свойство P(x,y)  означает, что

к люч x откры вает дверь y

Рассмотрим теперь две формулы

∀y∃x P (x,y)    (1 )

а теперь поменяем местами кванторы вместе с переменными

∃x∀y P (x,y)    (2 )

Задача.
1. Изменился ли смысл высказывания после перестановки кванторов? То есть одинаковый ли смысл у высказываний (1) и (2)?
2. Изменилась ли истинность высказывания после перестановки кванторов? То есть верно ли, что если (1) было истинным, то и (2) остается истинным? А если (1) было ложным, то и (2) тоже обязательно ложно? Какое из двух высказываний следует из другого?

Показать ответ и решение

1. Изменился. Смысл у них разный. По сути, высказывание (1) говорит нам о том, что у для любой двери y  найдется свой ключ x  , который открывает эту дверь. При этом допускается, чтобы этот ключ x  был у каждой двери свой, то есть чтобы x  как бы зависел от y  - для каждой двери может существовать свой ключ, и у разных дверей он может быть разным. То есть когда в формуле кванторы идут в таком порядке

∀y∃x

то допускается зависимость x  от y  .

В то же время, высказывание (2) говорит нам о том, что найдется такой ключ x  , который для любой двери y  будет её открывать. То есть этот x  будет универсальным, подходящим для каждой двери y  и уже не может зависеть ни от какой двери. То есть в таком порядке кванторов

∃x∀y

мы обязаны сначала выбрать этот ключ x  , который должен подойти ко всем y  сразу.

2. Вообще говоря, если (1) было истинно, то (2) быть истинно вовсе не обязано.

Действительно, если для каждой двери x  находился свой ключ y  , который её открывает, из этого вовсе не следует существование универсального ключа x  , который способен открыть любую дверь.

Если же (1) было ложным, то, понятное дело, в силу всего вышесказанного, (2) ложно тем более.

Таким образом, (2) - более сильное высказывание, чем (1), то есть (1) следует из (2).

Ответ:

1. Смысл у них разный;
2. Если (1) истинно, то (2) необязательно истинно, если (1) ложно, то (2) точно ложно, (1) следует из (2).

Специальные программы

Все специальные программы

Программа
лояльности v2.0

Приглашай друзей в Школково и получай вознаграждение до 10%!

Крути рулетку
и выигрывай призы!

Крути рулетку и покупай курсы со скидкой, которая привязывается к вашему аккаунту.

Бесплатное онлайн-обучение

Для школьников из приграничных территорий России, проживающих в ДНР, ЛНР, Херсонской, Запорожской, Белгородской, Курской, Брянской областях и Крыму.

Налоговые вычеты

Узнай, как получить налоговый вычет при оплате обучения в «Школково».

Специальное предложение
для учителей

Бесплатный доступ к любому курсу подготовки к ЕГЭ, ОГЭ и олимпиадам от «Школково». Мы с вами делаем общее и важное дело, а потому для нас очень значимо быть чем-то полезными для учителей по всей России!

Вернём деньги за курс
за твою сотку на ЕГЭ

Сдать экзамен на сотку и получить обратно деньги за подготовку теперь вполне реально!

cyberpunkMouse
cyberpunkMouse
Рулетка
Вы можете получить скидку в рулетке!