Рассмотрим исходное утверждение и выберем его отрицание.
Исходное утверждение:
"На контрольной Петя верно решил меньше 4 задач."
Обозначим это утверждение как \( P \):
\( P: \) Петя решил меньше 4 задач.
Шаг 1: Запишем отрицание \( \neg P \):
Отрицание утверждения "меньше 4 задач" — это "не меньше 4 задач", то есть "больше или равно 4 задачам".
Шаг 2: Выводим формальное отрицание:
\[
\neg P: \text{Петя решил } \geq 4 \text{ задач}
\]
или словами:
"Петя решил не меньше 4 задач", то есть 4 или более задач.
Итак, отрицание утверждения "на контрольной Петя верно решил меньше 4 задач" — это:
"На контрольной Петя верно решил 4 или более задач."
Если тебе нужно конкретное формулирование или помощь с дополнительными задачами, напиши!