Учебник «Вероятность и статистика. 7–9 классы», часть 1, с. 104, §25
№175. Предположим, что — некоторое натуральное число. Найдите равносильные утверждения.
: «Число чётное».
: «Число равно для некоторого натурального числа ».
: «Число даёт остаток 2 при делении на 4».
: «Число заканчивается одной из цифр 0, 2, 4, 6, 8».
: «Число делится на 2, но не делится на 4».
Дано:
пять утверждений – о натуральном числе
Найти:
равносильные утверждения
Утверждения называют равносильными, если они одновременно истинны или одновременно ложны при любом значении (каждое из них следует из другого: и ).
, и равносильны. Число чётное — это то же самое, что число, делящееся на 2, то есть число вида (). А по признаку делимости на 2 число делится на 2 тогда и только тогда, когда оно оканчивается цифрой 0, 2, 4, 6 или 8 ().
и равносильны. Если даёт остаток 2 при делении на 4, то делится на 2, но не делится на 4 (). Обратно: если чётное и не делится на 4, то при делении на 4 остаток — 0, 1, 2 или 3; остатки 1 и 3 дают нечётные числа, а остаток 0 означает деление на 4, поэтому остаётся остаток 2 ().
Утверждения из первой группы не равносильны утверждениям из второй. Например, чётное ( истинно), но остаток от деления на 4 равен 0 ( ложно). Следовательно, ложно, хотя истинно.
Таблица проверки подтверждает ответ: столбцы , , совпадают, и столбцы , тоже совпадают.
| 1 | нет | нет | нет | нет | нет |
|---|---|---|---|---|---|
| 2 | да | да | да | да | да |
| 3 | нет | нет | нет | нет | нет |
| 4 | да | да | нет | да | нет |
| 6 | да | да | да | да | да |
| 8 | да | да | нет | да | нет |
| 10 | да | да | да | да | да |
| 12 | да | да | нет | да | нет |
| 14 | да | да | да | да | да |
Ответ: равносильны утверждения , и ; равносильны утверждения и .