4) ∀x ∈ ℕ: x ≥ 5

Проверим утверждение на натуральном числе, например при x = 1. Получаем 1 ≥ 5 — неверно.

Ответ: утверждение ложно.