Чтобы выбрать отрицание к утверждению "На контрольной Петя верно решил больше 3 задач", нужно понять, что такое отрицание в логике.
Исходное утверждение можно сделать в форме "X", где X = "Петя верно решил больше 3 задач".
Отрицание этого утверждения будет означать, что "Петя не верно решил больше 3 задач". Это можно выразить как "Петя верно решил 3 задач или меньше", что включает в себя следующие варианты:
- Петя верно решил 0 задач
- Петя верно решил 1 задачу
- Петя верно решил 2 задачи
- Петя верно решил 3 задачи
Таким образом, полное отрицание утверждения "На контрольной Петя верно решил больше 3 задач" будет: "На контрольной Петя верно решил 3 задачи или меньше".
Итак, итоговое отрицание:
"Петя верно решил 3 задачи или меньше."
Это выражение охватывает все возможности, кроме того, что Петя решил больше 3 задач, что и требуется для формирования отрицания.