Логика для всех. От пиратов до мудрецов. Инесса Раскина
Чтение книги онлайн.

Читать онлайн книгу Логика для всех. От пиратов до мудрецов - Инесса Раскина страница 8

СКАЧАТЬ предположение, называется КОНТРПРИМЕР. И для ответа «Нет» на вопрос про всех достаточно привести один контрпример.

      – А если ответ был бы «Да»? – хором спросили дети. – Как называется нужный пример?

      – Никак не называется, – ответил папа. – Потому что его нет. Никакими примерами не убедишь, что где-нибудь ВСЕ звери большие.

      – Поэтому ответ «Да» на вопрос про всех объяснить бывает непросто, – вздохнула мама. – Для этого требуется настоящее доказательство.

      – А если ты уже тысячу зверей встретил и все они большие? – с надеждой спросил Ванечка.

      – Ну и что! – победно вскричала Танечка. – Хоть миллион! Моя маленькая мартышка тем более могла спрятаться! Еще получше твоего бегемота!

      Пока Танечка и Ванечка выясняют, кто лучше прячется, опишем с помощью таблицы два типа утверждений:

      Там, где стоят знаки вопроса, общего рецепта нет, для каждой задачи приходится искать свое доказательство.

      Задача 3.1. Определите, какие из утверждений верны. Где можно, подтвердите свой ответ примером (контрпримером). В остальных случаях обоснуйте его по-другому.

      1. Все нечетные числа простые.

      2. Все простые числа нечетные.

      3. Некоторые нечетные числа простые.

      4. Некоторые простые числа нечетные.

      5. Все четные числа составные.

      6. Все числа вида р + 7, где р – простое, являются составными.

      Ответ. Верны утверждения 3, 4, 6.

      Решение. Привести контрпримеры к утверждениям 1, 2, 5 и примеры к утверждениям 3, 4 предоставляем читателю. Для доказательства утверждения 6 рассмотрим два случая. Если р = 2, то число р + 7 = 9 – составное. Если простое число p ≠ 2, то оно нечетное, поэтому р + 7 – четное и больше 2, следовательно, составное.

      Задача 3.2. Верно ли высказывание: «Любое нечетное число, большее 5, можно представить в виде суммы трех простых чисел»?

      Обсуждение. На первый взгляд это утверждение мало отличается от сформулированных в предыдущем задании. Попробуем рассуждать так же. Для начала поищем контрпример (как в пунктах 1, 2 и 5 предыдущей задачи): 7 = 2 + 2 +3, 9 = 3 + 3 +3, 11 = 3 + 3 + 5 и т. д. Не получается? Что ж, попытаемся доказать, что утверждение верно (как в пункте 6). Тоже не получается? Не огорчайтесь, вы не одиноки! Еще в 1742 году Кристиан Гольдбах предложил эту задачу Леонарду Эйлеру. Позже она получила название тернарной проблемы Гольдбаха. Ей занимались многие математики, но лишь в 2013 году американский математик Харальд Хельфготт окончательно доказал, что гипотеза Гольдбаха верна. А бинарная проблема Гольбаха, упоминавшаяся на первом занятии, не решена до сих пор.

      Задача 3.3*. Верно ли утверждение: «Все дожившие до наших дней тираннозавры умеют вышивать крестиком»?

      Обсуждение. Утверждение звучит странно и на первый взгляд кажется неверным. Что ж, попробуем его опровергнуть. Для этого нужно привести контрпример – то есть дожившего до наших дней тираннозавра, не умеющего вышивать крестиком. Поскольку СКАЧАТЬ