Учебник «Вероятность и статистика. 7–9 классы», часть 1, с. 104, §25
№174. Пусть — натуральное число. Даны утверждения:
: « делится на 3»,
: « делится на 9»,
: «Сумма цифр числа делится на 3»,
: «Сумма цифр числа делится на 9»,
: «Число является натуральной степенью числа 2».
Составьте из этих утверждений два взаимно обратных условных утверждения:
а) так, чтобы оба были истинными;
б) так, чтобы одно из них было истинным, а обратное могло оказаться ложным;
в) так, чтобы оба утверждения оказались ложными.
Дано:
пять утверждений – о натуральном числе (делимость на 3 и 9, суммы цифр, степень двойки)
Найти:
три пары взаимно обратных утверждений: оба истинны; одно истинно, а обратное ложно; оба ложны
Два условных утверждения называют взаимно обратными, если у них посылка и следствие поменялись местами: и . Нужно подобрать пары среди , , , , и проверить, истинны ли они. Истинное утверждение должно быть верным для любого натурального , а чтобы доказать ложность, достаточно одного примера.
а) Возьмём и . Число делится на 3 тогда и только тогда, когда сумма его цифр делится на 3 (признак делимости на 3). Значит, «если делится на 3, то сумма его цифр делится на 3» () и обратное «если сумма цифр делится на 3, то делится на 3» () — оба истинны.
б) Возьмём и . : «если сумма цифр делится на 9, то делится на 3» — истинно: тогда делится на 9, а значит, и на 3. Обратное : «если делится на 3, то сумма цифр делится на 9» — ложно. Пример: делится на 3, а сумма цифр на 9 не делится.
в) Возьмём и . : «если — степень двойки, то сумма его цифр делится на 3» — ложно: — степень двойки, а сумма цифр на 3 не делится. Обратное : «если сумма цифр делится на 3, то — степень двойки» — тоже ложно: имеет сумму цифр , но не является степенью двойки.
| Пара утверждений | Истинность | |
|---|---|---|
| а) | и | оба истинны (признак делимости на 3) |
| б) | и | истинно; ложно () |
| в) | и | ложно (); ложно () |
Другие правильные примеры тоже возможны: в а) подойдут и (число делится на 9 тогда и только тогда, когда сумма его цифр делится на 9); в в) — любая пара из и одного из утверждений , , , .
Ответ: например, а) и ; б) и ; в) и .