Каково наибольшее целое положительное число 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)
((X — 1) ≥ X) ⇒ Это ложно для всех положительных чисел.
(40 > X·X) ⇒ Это должно быть истинно.
40 > 6.6
40 > 36
Ответ: 6