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

      Однажды Танечка и Ванечка услышали про Африку. И подумали, что в Африке водятся большие звери. Они дождались, когда мама с папой уснули, и убежали в Африку. Там Танечка успела увидеть только мартышку, а Ванечка бегемота. Тут как раз проснулись родители. Они обо всем догадались и забрали детей из Африки домой. На обратном пути дети заспорили.

      – Правда, африканские звери большие? Я же сам видел! – спросил у папы Ваня.

      – Нет, африканские звери маленькие, – не соглашалась Таня. – Я тоже сама видела. Вот скажи, папа, кто из нас прав?

      – А это смотря как понимать вопрос, – начал папа. – Можно так: «Верно ли, что НЕКОТОРЫЕ африканские звери большие?»

      – Да, верно! – торжествующе посмотрел на сестру Ваня. – Например, бегемот, которого я видел.

      – Молодец, – похвалил папа. – Для ответа «Да» на вопрос про некоторых достаточно привести один пример.

      – А если бы я не увидел бегемота? – забеспокоился Ваня. – Тогда из-за Танькиной мартышки ответ был бы «Нет, неправда»?

      – Ну что ты! – успокоил его папа. – Размеры животных не зависят от того, видишь ли ты их. Даже если встретишь тысячу маленьких мартышек, отвечать «Нет» еще рано. Понимаешь почему?

      – Понимаю, – сказал Ваня. – Бегемот или другой пример мог просто хорошо спрятаться!

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

      А папа продолжил:

      – Но ваш вопрос можно понять и совсем по-другому: «Верно ли, что ВСЕ африканские звери большие?».

      – Откуда мы знаем? Мы же не успели увидеть всех зверей, – начал было Ваня, но Танечка его перебила:

      – А вот и знаем! Не все. Ведь я же видела маленькую мартышку!

      – Хорошо, что ты ее увидела, – похвалил папа. – Твоя мартышка – прекрасный…

      – Пример! – перебила Танечка.

      – Почти, – согласился папа. – Только пример, который помогает опровергнуть предположение, называется КОНТРПРИМЕР. И для ответа «Нет» на вопрос про всех достаточно привести один контрпример.

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

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

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

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

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

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