Законы математической логики

(М. Попков) Заданы два отрезка P = [6, 17] и Q = [13, 28], лежащие на числовой прямой. Также существует отрезок А. Он таков, что формула

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

истинна, причем переменная x может принимать любые значения. Какую наибольшую длину может принимать отрезок А? Определите и запишите в ответ целое число.