Логика для всех. От пиратов до мудрецов - [6]

Нарисуйте с помощью кругов Эйлера иллюстрацию к каждому высказыванию. Есть ли среди иллюстраций одинаковые? Одинаков ли смысл соответствующих высказываний?

1. Все хоббиты живут в норах.

2. Все жители нор – хоббиты.

3. Некоторые кошки серые.

4. Некоторые серые существа – кошки.

Задача 2.12. Когда учительница ругала Дениса за плохой почерк, он сказал: «У всех великих людей был плохой почерк, значит, я великий человек». Прав ли он?

Задача 2.13. Шерлок Холмс допросил Зайца, Волка и Лису по делу о съедении Колобка. Подозреваемые заявили:

Заяц: «Хотя бы один из нас съел Колобка».

Волк: «Хотя бы один из нас не ел Колобка».

Лиса: «Хотя бы один из нас сказал правду».

Как известно, Колобка съела Лиса. Кто сказал правду, а кто солгал?

Задача 2.14. Комиссия посетила больницу и составила отчет, в котором не было ни одного правдивого утверждения.

«Все врачи имеют достаточный опыт. Некоторые врачи никогда еще не ставили неправильного диагноза. Никто из врачей не опаздывает на работу. Все пациенты довольны лечением. Ни один из них не жалуется на бытовые условия. Некоторые пациенты выздоравливают за один день».

Напишите, как выглядел бы честный отчет.

Задача 2.15. В комнате собрались несколько жителей острова рыцарей и лжецов. Трое из них сказали следующее:

– Нас тут не больше трех человек. Все мы лжецы.

– Нас тут не больше четырех человек. Не все мы лжецы.

– Нас тут пятеро. Лжецов среди нас не меньше трех.

Сколько в комнате человек и сколько из них лжецов?

Задача 2.16. Предположим, что справедливы следующие утверждения:

• Среди людей, имеющих телевизоры, не все являются малярами.

• Люди, каждый день купающиеся в бассейне, но не являющиеся малярами, не имеют телевизоров.

Следует ли отсюда, что не все владельцы телевизоров каждый день купаются в бассейне?

Занятие 3 Вдоль по Африке, или Примеры для некоторых и контрпримеры для всех

Но папочка и мамочка уснули вечерком,

А Танечка и Ванечка – в Африку бегом, —

В Африку!

В Африку!

К. И. Чуковский

Школьники часто начинают решение задачи с поиска подходящего примера. Но тут встают три вопроса. Как такой пример подобрать? В каких случаях достаточно привести один пример для полного решения задачи? Что делать в остальных случаях? На этом занятии мы постараемся научиться отвечать на самый простой вопрос, но от этого не менее важный: на второй. Умение отличать решенную задачу от нерешенной – основа математической культуры. Отвечать на первый вопрос помогут другие выпуски нашей серии, а на третий – только годы занятий.

При составлении этого занятия мы вновь постарались учесть интересы разнородного по составу кружка. Вопрос применимости примеров и контрпримеров актуален прежде всего для начинающих, сложность задач для самостоятельного решения на приведение примера разнообразна, а рассуждения про пустое множество и парадоксы про Деда Мороза достаточно сложны. Чисто логические вопросы можно разбавить конструктивами по вкусу.

Во введении обсуждается применимость примеров (в том числе контрпримеров) к доказательству и опровержению частных и общих высказываний. Истинность таких высказываний предлагается определить и в большинстве задач. Но мы сознательно нарушили чистоту жанра, включив в занятие задачи 3.6 и 3.7 с вопросом «можно или нельзя?», в которых фактически требуется определить, что верно: частное высказывание или его отрицание.

Надеемся, что пяти– и шестиклассникам будет интересно разыграть сценку с Танечкой и Ванечкой в начале занятия. Текст четырем «артистам» стоит выдать заранее, но учить его наизусть незачем, пусть подглядывают в шпаргалки. Таблицу рекомендуем изобразить на доске, можно с сокращениями.

Более опытных кружковцев могут заинтересовать два сюжета. Первый связан с гипотезами Гольдбаха (задача 3.2). Это уникальный случай, когда формулировка совсем недавнего выдающегося математического достижения понятна школьнику. Участники кружка могут совместными усилиями проверить гипотезу Гольдбаха для чисел из первой сотни (если каждому поручить свой отрезок числового ряда), осознать необходимость доказательства, а затем узнать историю проблемы и вместе порадоваться успеху Хельфготта.

Второй тонкий вопрос – это истинность любого общего высказывания об элементах пустого множества (задачи 3.3–3.5 и 3.12). В школьной программе он игнорируется из-за несоответствия формального и житейского подхода к нему. Это приводит к неоднозначному толкованию условия некоторых задач (в частности, с параметром). Несложная задача 3.11 служит для повторения материала предыдущего занятия, а ее сюжет связан с гораздо более сложной следующей задачей-парадоксом 3.12.

Задача 3.13 позволяет эффектно завершить занятие. Она не имеет отношения к его теме, содержательно в ней развивается наиболее сложная идея первого занятия, а сюжетно – линия Деда Мороза. Можно в начале занятия не выдавать ее вместе с другими задачами, а дать «на сладкое» двум кружковцам, решившим другие задачи быстрее остальных. В задаче 3.12 обсуждается существование Деда Мороза. После этого самое время выпустить «на сцену» двух «артистов», которые неопровержимо докажут существование Деда Мороза!