№ 9. 1. ¬(x > 7) ⇔ x ≤ 7. 2. ¬(x > 6) ⇔ x ≤ 6. Числовая прямая с отметками 6 и 7.

Отрицание неравенства «больше» заменяется неравенством «меньше или равно»: число не больше 7 означает, что оно меньше или равно 7; аналогично для 6.

1. ¬(x > 7) ⇔ x ≤ 7 — верно.
2. ¬(x > 6) ⇔ x ≤ 6 — верно.

На числовой прямой видны отметки 6 и 7, но по рисунку нельзя однозначно определить, какое множество она изображает: не показано, какая часть прямой выделена.