На числовой прямой даны два отрезка:
P=[12,20] и Q=[5,15].
Укажите наибольшую длину отрезка A, такого что формула
((x∈Q) → (x∈P)) ∧ (x∈A)
тождественно ложна, то есть принимает значение 0 при любом значении переменной х.