К списку задач
ЕГЭ 15 · Законы математической логики
Законы математической логики
На числовой прямой даны два отрезка: P = [10, 20] и Q = [35, 45]. Найдите наименьшую возможную длину отрезка A, при котором формула
(¬(x ∈ P) → (x ∈ Q)) ∧ ¬(x ∈ A)
тождественно ложна, то есть принимает значение 0 при любых x.
Запишите ответ в формате, указанном в условии.