Общие утверждения
Что такое общее утверждение
Особое значение для математики имеют общие утверждения. Так называют высказывания, в которых утверждается, что все элементы заданного множества обладают указанным свойством. Общий характер высказывания выражают слова любой, каждый, все, всегда и подобные им. Например:
- В каждой неделе 7 дней.
- Результат умножения любого числа на 0 равен нулю.
- Сумма любых двух чисел не зависит от порядка слагаемых.
- Сумма двух натуральных чисел всегда делится на 3.
- Произведение любых двух натуральных чисел больше их суммы.
Очень часто обобщающие слова опускают, и те же утверждения произносят короче: «В неделе 7 дней», «Сумма двух чисел не зависит от порядка слагаемых» и т. д. — от этого смысл не меняется, общее утверждение остаётся общим.
Контрпример — как опровергнуть общее утверждение
Среди утверждений выше первые четыре истинны, а последние два — ложны. Проверим: сумма двух натуральных чисел не всегда делится на 3 — например, $1+3=4$, а 4 на 3 не делится. Этот пример показывает, что общее утверждение ложно, то есть он его опровергает.
Найти контрпример для утверждения «произведение любых двух натуральных чисел больше их суммы» немного сложнее: надо либо вспомнить, что $2\cdot2=2+2$, либо догадаться взять одно или оба числа равными единице — $2\cdot1<2+1$, а $1\cdot1<1+1$.
Часть от числа и число по его части
Рядом с общими утверждениями рассмотрим и задачи на дроби — нахождение части от числа и обратная ей задача: нахождение числа по его известной части.
Разбери на интерактивной модели справа, как эти два правила связаны с одной и той же полоской, разбитой на равные части.
- Общее утверждение — высказывание о всех элементах множества («любой», «каждый», «все», «всегда»).
- Общее утверждение может быть истинным или ложным.
- Контрпример — пример, который опровергает общее утверждение.
- Одного контрпримера достаточно для опровержения; для доказательства истинности примеров, сколько бы их ни было, недостаточно.
- Часть от числа = число ÷ знаменатель × числитель. Число по его части = часть ÷ числитель × знаменатель.