Логика для всех. От пиратов до мудрецов - Страница 13

А: Новый год отмечается 31 июня.

Б: Волга впадает в Каспийское море.

Последний пример звучит непривычно. Но с точки зрения формальной логики высказывание «Если Новый год отмечается 31 июня, то Волга впадает в Каспийское море» истинно так же, как и «Если Карл украл у Клары кораллы, то Карл – вор». Убедиться в этом можно с помощью таблицы истинности.

Задача 5.4. Будем считать истинной пословицу «Кто не работает, тот и не ест».

1) Известно, что Иван ест. Обязательно ли он работает?

2) Известно, что Семен работает. Обязательно ли он ест?

Ответ. 1) Да; 2) нет.

Решение 1. 1) Высказывание «Если Иван не работает, то Иван не ест» истинно, а его вторая часть «Иван не ест» ложна. В соответствии с таблицей истинности такое возможно, только если первая часть «Иван не работает» тоже ложна. Следовательно, Иван работает. 2) Высказывание «Если Семен не работает, то Семен не ест» истинно, а его первая часть «Семен не работает» ложна. В соответствии с таблицей истинности такое возможно независимо от истинности второй части, т. е. от того, ест ли Семен.

Решение 2. На рисунке 9 серым выделена область истинности пословицы. Поэтому в белой части 1 никого нет. Иван может находиться только в части 4 (т. е. он и работает, и ест). Семен может находиться как в части 3 (тогда он работает, но не ест), так и в части 4 (и тогда он работает и ест).

Рис. 9

Решение 3. 1) Предположим, что Иван не работает. Тогда он не работает, но ест, и поэтому служит контрпримером к пословице. Пришли к противоречию с условием, значит, предположение неверно, и Иван работает. Заметим, что аналогичное «решение» для пункта 2 неубедительно, так как если мы не нашли противоречия, это еще не значит, что его нет.

Задача 5.5. Верно ли высказывание «Если человек допрыгнет с Земли до Луны, то он сможет там дышать»?

Ответ. Да.

Обсуждение. На первый взгляд, сказана двойная глупость. Ни допрыгнуть до Луны, ни дышать на ней ни один человек не сможет. То есть и высказывание А (человек может допрыгнуть до Луны), и высказывание Б (человек сможет дышать на Луне) ложны. Но поскольку условие А ложно, высказывание А ⇒ Б истинно независимо от истинности заключения Б. Если вам все же трудно поверить в истинность высказывания «Если человек допрыгнет с Земли до Луны, то он сможет там дышать», то подумайте, кто мог бы его опровергнуть. Только человек, допрыгнувший до Луны!

Комментарий 1 (исторический). В некотором смысле такой человек был. Перед тем, как 20 июля 1969 года сделать шаг с трапа на поверхность Луны, американский астронавт Нил Армстронг сказал: «Это маленький шаг для человека, но огромный прыжок для человечества». Но даже если считать достижение Армстронга прыжком с Земли, наше утверждение он, к счастью, не опроверг и благополучно вернулся домой.

Комментарий 2 (математический). С подобной ситуацией мы уже сталкивались на первом занятии при обсуждении живых тираннозавров, вышивающих крестиком. Аналогия не случайна: высказывания про всех и следствия могут быть переделаны друг в друга.

Задача 5.6. 1) Сформулируйте высказывание, начинающееся со слова «все», имеющее тот же смысл, что высказывание «Если человек допрыгнет с Земли до Луны, то он сможет там дышать».

2) Сформулируйте высказывание с союзом «если… то», имеющее тот же смысл, что высказывание «Все дожившие до наших дней тираннозавры умеют вышивать крестиком».

Ответ. 1) Все люди, допрыгнувшие до Луны, смогут там дышать. 2) Если тираннозавр дожил до наших дней, то он умеет вышивать крестиком.

Комментарий. Теперь ясно, что истинность обоих высказываний – и про тираннозавров, и про допрыгнувших до Луны – можно доказать двумя способами. Во-первых, для элементов пустого множества верно любое утверждение, так как контрпримера заведомо нет. Во-вторых, из ложного условия можно делать какое угодно заключение.

Сказанное в обсуждении задачи 5.5 можно обобщить: из ложного утверждения следует ЛЮБОЕ другое утверждение, в том числе и ложное. Другими словами, допустив одну ложь, пусть даже «самую маленькую», можно логически доказать что угодно! В это трудно поверить. Узнав об этом от Бертрана Рассела, один философ был потрясен и спросил: «Вы всерьез считаете, что из неверного утверждения „Два плюс два – пять“ следует, что вы – Папа Римский?» Рассел в ответ привел такое доказательство: «Пусть 2 + 2 = 5. Известно также, что 2 + 2 = 4. Следовательно, 4 = 5. Вычитая 3, получаем, что 1 = 2. Я и Папа Римский – два человека. Следовательно, я и он – это один человек».

Задачи для самостоятельного решения

Задача 5.7. 1) Верно ли, что если Женя – Борин брат, то Боря – Женин брат?

2) Составьте обратное высказывание. Верно ли оно?

Задача 5.8. На планете Плюк действует правило: увидев чатланина, житель планеты должен сказать «Ку». В суд поступили дела пяти обвиняемых в нарушении этого правила:

1) Первый сказал «Ку» облезлой кошке.

2) Землянин Второй ничего не сказал при встрече с главным чатланином.

3) Часовой Третий спал на посту, не заметил подошедшего чатланина и ничего ему не сказал.

4) Четвертый сказал чатланину: «Ку. Как противно приветствовать такого мерзавца!»

5) Пятый не знал, что Шестой – чатланин, поэтому при встрече сказал ему: «Здравствуйте, уважаемый!»

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

Задача 5.9. Пусть на клетчатой бумаге нарисован многоугольник, составленный из целых клеточек. Рассмотрим два утверждения: