Условие задачи
На числовой прямой даны два отрезка: P = [17, 46] и Q = [22, 57]. Отрезок A таков, что приведенная ниже формула истинна при любом значении переменной х:
¬(x ∈ A) →(((x ∈ P) ⋀ (x ∈ Q)) → (x ∈ A))
Какова наименьшая возможная длина отрезка A?
Ответ
Введем обозначения: (x А) A; (x P) P; (x Q) Q.
Применив преобразование импликации, получаем:
A ((P Q) A).
Применив закон де Моргана...