Учебник «Вероятность и статистика. 7–9 классы», часть 1, с. 98, §23
№160. Рассмотрим утверждение «Число 72 делится на число ». Истинны или ложны высказывания:
а) «Это утверждение истинно для всех натуральных »;
б) «Это утверждение не является истинным ни при одном натуральном »;
в) «Это утверждение истинно для всех натуральных , которые меньше 5»;
г) «Это утверждение ложно при некоторых натуральных »;
д) «Это утверждение истинно для некоторых трёхзначных чисел »?
Постройте отрицания к ложным высказываниям.
Дано:
утверждение «число 72 делится на число »; высказывания а)–д) о нём
Найти:
истинность каждого высказывания; отрицания ложных
Число 72 делится нацело на только тогда, когда — делитель числа 72. Выпишем все натуральные делители: , поэтому это 1, 2, 3, 4, 6, 8, 9, 12, 18, 24, 36, 72. Остальные натуральные числа (5, 7, 10, 11, …) не являются делителями.
а) «Для всех натуральных » — ложно: например, при число 72 не делится на 5 ().
б) «Ни при одном натуральном утверждение не истинно» — ложно: при (и при , 3, …) число 72 делится на .
в) При получаем: 72 делится на 1, на 2, на 3 и на 4 (частные 72, 36, 24, 18). Для всех натуральных утверждение выполнено — высказывание истинно.
г) «Ложно при некоторых » — истинно: нужен хотя бы один такой , например .
д) Трёхзначные числа — от 100 до 999, а наибольший делитель числа 72 равен 72, то есть двузначный. Значит, ни для одного трёхзначного число 72 не делится на , и высказывание ложно.
Теперь отрицания к ложным высказываниям а), б), д). Заменяем «для всех» на «существует» (и добавляем «не»), а «ни при одном … не истинно» — на «существует … истинно».
Отрицание а): «Существует натуральное число , при котором число 72 не делится на » (например, ).
Отрицание б): «Существует натуральное число , при котором число 72 делится на » (например, ).
Отрицание д): «Ни для какого трёхзначного числа число 72 не делится на » — иначе: для любого трёхзначного число 72 на не делится. Оно истинно.
Ответ: Высказывания в) и г) — истинные, высказывания а), б), д) — ложные. Отрицания: а) «Существует натуральное , при котором 72 не делится на »; б) «Существует натуральное , при котором 72 делится на »; д) «Ни для какого трёхзначного число 72 не делится на ».