Однажды Танечка и Ванечка услышали про Африку. И подумали, что в Африке водятся большие звери. Они дождались, когда мама с папой уснули, и убежали в Африку. Там Танечка успела увидеть только мартышку, а Ванечка бегемота. Тут как раз проснулись родители. Они обо всем догадались и забрали детей из Африки домой. На обратном пути дети заспорили.
– Правда, африканские звери большие? Я же сам видел! – спросил у папы Ваня.
– Нет, африканские звери маленькие, – не соглашалась Таня. – Я тоже сама видела. Вот скажи, папа, кто из нас прав?
– А это смотря как понимать вопрос, – начал папа. – Можно так: «Верно ли, что НЕКОТОРЫЕ африканские звери большие?»
– Да, верно! – торжествующе посмотрел на сестру Ваня. – Например, бегемот, которого я видел.
– Молодец, – похвалил папа. – Для ответа «Да» на вопрос про некоторых достаточно привести один пример.
– А если бы я не увидел бегемота? – забеспокоился Ваня. – Тогда из-за Танькиной мартышки ответ был бы «Нет, неправда»?
– Ну что ты! – успокоил его папа. – Размеры животных не зависят от того, видишь ли ты их. Даже если встретишь тысячу маленьких мартышек, отвечать «Нет» еще рано. Понимаешь почему?
– Понимаю, – сказал Ваня. – Бегемот или другой пример мог просто хорошо спрятаться!
– Поэтому ответ «Нет» на вопрос про некоторых объяснить бывает непросто, – вздохнула мама. – Для этого требуется настоящее доказательство.
А папа продолжил:
– Но ваш вопрос можно понять и совсем по-другому: «Верно ли, что ВСЕ африканские звери большие?».
– Откуда мы знаем? Мы же не успели увидеть всех зверей, – начал было Ваня, но Танечка его перебила:
– А вот и знаем! Не все. Ведь я же видела маленькую мартышку!
– Хорошо, что ты ее увидела, – похвалил папа. – Твоя мартышка – прекрасный…
– Пример! – перебила Танечка.
– Почти, – согласился папа. – Только пример, который помогает опровергнуть предположение, называется КОНТРПРИМЕР. И для ответа «Нет» на вопрос про всех достаточно привести один контрпример.
– А если ответ был бы «Да»? – хором спросили дети. – Как называется нужный пример?
– Никак не называется, – ответил папа. – Потому что его нет. Никакими примерами не убедишь, что где-нибудь ВСЕ звери большие.
– Поэтому ответ «Да» на вопрос про всех объяснить бывает непросто, – вздохнула мама. – Для этого требуется настоящее доказательство.
– А если ты уже тысячу зверей встретил и все они большие? – с надеждой спросил Ванечка.
– Ну и что! – победно вскричала Танечка. – Хоть миллион! Моя маленькая мартышка тем более могла спрятаться! Еще получше твоего бегемота!
Пока Танечка и Ванечка выясняют, кто лучше прячется, опишем с помощью таблицы два