Задача 3.3*. Верно ли утверждение: «Все дожившие до наших дней тираннозавры умеют вышивать крестиком»?
Обсуждение. Утверждение звучит странно и на первый взгляд кажется неверным. Что ж, попробуем его опровергнуть. Для этого нужно привести контрпример – то есть дожившего до наших дней тираннозавра, не умеющего вышивать крестиком. Поскольку его не существует, то утверждение верно.
Ответ. Да, верно.
Комментарий 1. Сравним две последние задачи. Поиск контрпримера в обеих оказался затруднительным. Но эти затруднения разного характера. Контрпример к проблеме Гольдбаха мы найти не могли, но не были уверены, что его не сможет найти кто-то более умный или терпеливый. Поэтому вывода сделать не могли (а Харальд Хельфготт смог!). А вот живого тираннозавра не только мы с вами не можем найти, но и уверены, что никто другой не найдет.
Комментарий 2. Аналогично можно верно высказываться не только о живых тираннозаврах, но вообще обо всем, чего на самом деле нет. Например, все кролики, проглотившие удава, остались голодными. (Не верите? Тогда найдите кролика, проглотившего удава, и поинтересуйтесь, сыт ли он.) А все четные числа, оканчивающиеся на 5, оканчиваются на 7. С точки зрения формальной логики любое высказывание обо всех элементах пустого множества верно, потому что к нему не может быть приведен контрпример.
Есть и другая причина считать верными высказывания о современных тираннозаврах и прочих несуществующих объектах. Начнем с несомненно истинного высказывания «Все числа, кратные 12, четны». Дополнив условие, мы получим следствие из него, которое тоже должно быть истинным. Например, «Все трехзначные числа, кратные 12, четны». Или «Всякое число с суммой цифр 30, кратное 12, четно». Или «Всякое число с суммой цифр 100, кратное 12, четно». А теперь заметим, что числа с суммой цифр 100, кратные 12, – такие же несуществующие объекты, как и современные тираннозавры.
Задача 3.4*. Рассмотрим два высказывания:
А: Некоторым Мишиным одноклассникам 12 лет.
Б: Всем Мишиным одноклассникам 12 лет.
Можно ли, ничего не зная про Мишу, утверждать, что:
1) если верно А, то верно и Б;
2) если верно Б, то верно и А?
Обсуждение. Если бы речь шла об одном конкретном Мише, вопрос был бы неинтересен. Например, Миша учится в шестом классе, у него двадцать одноклассников и всем им по 12 лет; тогда оба высказывания, А и Б, истинны. Однако в задаче требуется понять, может ли для какого-нибудь Миши первое высказывание оказаться верным, а второе нет (т. е. возможен ли контрпример).