Анализ утверждений
Краткое пояснение: Для опровержения универсального утверждения (например, «все...») достаточно одного контрпримера, а для доказательства существования (например, «существует...») — одного примера.
Разбор утверждений:
а) Чтобы опровергнуть утверждение, достаточно привести контрпример, показывающий, что утверждение может быть ложным.
- Верно. Если мы хотим опровергнуть утверждение, которое говорит обо всех объектах некоторого рода (например, «Все птицы летают»), достаточно найти хотя бы один объект этого рода, для которого утверждение не выполняется (контрпример). В данном случае, пингвины — птицы, но они не летают.
б) Чтобы доказать утверждение, достаточно привести пример, когда оно истинно.
- Неверно. Это верно только для утверждений существования (например, «Существует число, большее 100»). Если же утверждение универсальное (например, «Все числа больше 100 являются простыми»), то одного примера (даже если он истинный) недостаточно для доказательства. Нужно доказать, что это верно для ВСЕХ случаев.