Задание

На числовой прямой даны два отрезка: P = [15, 50] и Q = [35, 60].

Укажите наибольшую возможную длину отрезка A, для которого формула

(¬(x ∈ A) → (x ∈ P)) →((x ∈ A) → (x ∈ Q))

тождественно истина, то есть принимает значение 1 при любом значении переменной x.