Каково наибольшее целое положительное число X, при котором истинно высказывание

Решение:

((X — 1) < X) → (40 > X·X)

¬((X — 1) < X) ∨ (40 > X·X)

((X — 1) ≥ X) ∨ (40 > X·X)

((X — 1) ≥ X) ⇒ Это ложно для всех положительных чисел.

(40 > X·X) ⇒ Это должно быть истинно.

40 > 6.6

40 > 36

Ответ: 6