Сформулировать высказывание , если известно высказывание : 1) ; 2) ; 3) любое натуральное число является целым числом; 4) у Земли только один естественный спутник.
По определению §
-
Равенство отрицается неравенством. Из
получаем ; первое высказывание истинно, второе ложно. -
Отрицание
означает, что число меньше . Заменяем знак на , а не только на : получаем . -
Слово «любое» выражает квантор общности. Его отрицание означает, что нашлось хотя бы одно натуральное число, которое не является целым. Поэтому формулировка «не любое натуральное число является целым числом» верно передаёт отрицание.
-
Утверждение «только один» означает «ровно один». Его отрицание — «число спутников отлично от одного». Можно сказать: «У Земли не один естественный спутник». Значение истинности отрицаний здесь не требуется устанавливать; надо сформулировать их.
; ; - не любое натуральное число является целым числом;
- у Земли не один естественный спутник.
