Ко второму уровню сложности можно отнести задачи 8.4, 8.5 и 8.10, в которых ставится вопрос о доказательстве равносильности нескольких утверждений. В задачах 8.5 и 8.10 значение имеет уже не только логическая структура доказательства, но и математическое содержание самих высказываний. Задача 8.11 не столько логическая, сколько комбинаторная; ее последний пункт существенно сложнее остальных задач занятия.
Рассмотрим два высказывания. А: «Число кратно 9», Б: «Сумма цифр числа кратна 9». Для каждого конкретного натурального числа эти высказывания
Таблица истинности показывает, когда высказывание «А⇔Б» истинно, а когда ложно:
Изобразим область истинности равносильных высказываний. Если те объекты, для которых истинно высказывание А, находятся в первом круге, а те, для которых истинно высказывание Б, во втором, то те, для которых истинно высказывание А⇔Б, находятся в серой области (рис. 17).
Рис. 17
Заметим, что в рассмотренном выше примере все натуральные числа находятся в закрашенной серым области истинности высказывания А⇔Б. Это и означает, что оно истинно для всех натуральных чисел.
Задача 8.1.1) Известно, что высказывание А ⇔ Б истинно. Что можно сказать об истинности высказываний А ⇒ Б и Б ⇒ А?
2) Известно, что высказывание А ⇒ Б истинно. Можно ли что-то сказать об истинности высказывания А ⇔ Б?
3) Известно, что высказывание А ⇒ Б ложно. Можно ли что-то сказать об истинности высказывания А ⇔ Б?
Приведите для каждого случая примеры подходящих высказываний.
Ответ. 1) Оба высказывания истинны; 2) нет, высказывание А ⇔ Б может быть как истинным (в случаях, если А и Б одновременно истинны или одновременно ложны), так и ложным (в случае, если А ложно, а Б истинно); 3) да, высказывание А Б ложно, поскольку А истинно, а Б ложно.
Решение. Ответить на все три вопроса можно разными способами.
Первый способ: посмотрим на таблицы истинности для А ⇒ Б, Б^Аи А<^Б. Для удобства приведем общую таблицу. 1) А⇔ Б истинно для первой и четвертой строк, для этих строк и А ⇒ Б и Б ⇒ А оба истинны. 2) и 3) решаются аналогично.
Второй способ: посмотрим на иллюстрации высказываний А ⇒ Б, Б ⇒ АиА⇔Бс помощью кругов Эйлера.
1) Область истинности высказывания А⇔Б входит целиком в области истинности высказываний А ⇒ Б и Б ⇒ А.
2) Область истинности высказывания А ⇒ Б частично входит в область истинности высказывания А ⇔ Б, а частично находится за ее пределами. 3) В той области, где высказывание А ⇒ Б ложно, высказывание А ⇔ Б тоже ложно.
Третий способ пригоден только для пункта 2 и опирается на приведение конкретных примеров высказываний (например, из задач 5.2 (п. 1) и 5.2 (п. 2)). А вот то, что мы не можем подобрать всевозможных подходящих примеров в пунктах 1 и 3, еще не доказывает, что таких примеров и вовсе нет.
Задача 8.2. Бабушка печет пирог в те и только те дни, когда ждет гостей.
1) Бабушка печет пирог. Можно ли утверждать, что она сегодня ждет гостей?
2) Бабушка не печет пирог. Можно ли утверждать, что сегодня она не ждет гостей?
Ответ. 1) Да; 2) да.
Решение. Рассмотрим два высказывания. А: «Бабушка сегодня печет пирог», Б: «Бабушка сегодня ждет гостей». Тогда условие означает А⇔Б. В предыдущей задаче получено, что тогда истинно и А ⇒ Б, откуда ясен ответ в пункте 1. Кроме того, истинно и Б ⇒ А. А значит, и «не А» ⇒ «не Б», что мы и используем для доказательства от противного в пункте 2.
Задача 8.3. Равносильны ли высказывания А и Б? Если нет, то следует ли хотя бы одно из них из другого?
1) А: «Некоторые принцессы – красавицы»; Б: «Некоторые красавицы – принцессы».
2) А: «Все принцессы – красавицы»; Б: «Все красавицы – принцессы».
3) А: «Число
4) А: «Число
5) А: «У любой девочки из 6 „А“ больше друзей среди одноклассников, чем у любого мальчика из 6 „А“ среди одноклассниц»; Б: «В 6 „А“ мальчиков больше, чем девочек».
Ответ. 1) Равносильны; 2) нет; 3) нет, но Б ⇒ А; 4) равносильны; 5) нет, но А ⇒ Б.
Решение. Пункты 1 и 2 уже обсуждались в задачах 2.3 и 2.11.
3) Утверждение А ⇒ Б следует из признака делимости на 11; обратное неверно, например, 803 кратно 11, но суммы цифр на четных и нечетных местах не равны друг другу.
4) Объединим делители числа