Для выбора отрицания утверждения "на контрольной Петя верно решил больше 5 задач" необходимо понимать логику отрицания и правильно его сформулировать.
Исходное утверждение:
"Петя верно решил больше 5 задач."
Обозначим это утверждение как \( P \):
\[ P: \text{Петя верно решил больше 5 задач} \]
Что такое отрицание утверждения?
Отрицание — это утверждение, которое опровергает исходное. Если исходное утверждение истинно, то его отрицание — ложь, и наоборот.
Логическая формулировка:
"Больше 5 задач" — это означает, что Петя решил не менее 6 задач (или строго больше 5).
Значит, исходно мы можем сформулировать утверждение:
"Петя решил как минимум 6 задач", что и есть "больше 5".
Отрицание этого утверждения:
"Петя решил не более 5 задач", то есть 5 или меньше задач.
Общий ответ:
Отрицание утверждения "на контрольной Петя верно решил больше 5 задач" —
"Петя верно решил не более 5 задач."
Если выбрать более формальную формулировку:
"На контрольной Петя решил пяти или менее задач."