Тип Д15 № 4807 
Преобразование логических выражений. Числовые отрезки
i
На числовой прямой даны два отрезка: P = [10, 25] и Q = [0, 12]. Выберите такой отрезок A, что формула
( (x ∉ А) → (x ∉ P) ) ∨ (x ∈ Q)
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
1) [10, 15]
2) [20, 35]
3) [5, 20]
4) [12, 40]
Решение. Логическое ИЛИ истинно, если истинно хотя бы одно утверждение.
Введем обозначения:
(x ∉А) ≡ ¬A; (x ∉ P) ≡ ¬P; (x ∈ Q) ≡ Q.
Применив преобразование импликации, получаем:
A∨ ¬P∨Q
¬P∨Q истинно тогда, когда x∈(– ∞,12);(25,∞). Поскольку все выражение должно быть истинно для ЛЮБОГО x, следовательно, выражение A должно быть истинно на интервале [12;25] или любом другом, который полностью включает этот отрезок.
Из всех отрезков только отрезок [12;40] удовлетворяет этим условиям.
Ответ: 4
PDF-версии: