1) ∀x ∈ ℕ: x − 2 > 3

Проверим утверждение при любом натуральном числе. Например, при x = 1 получаем: 1 − 2 = −1, а −1 не больше 3.

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