Задание КИМ № 15: Истинность логического выражения
Раздел № 67: Множества и логика: задачи с отрезками
(Е. Джобс) На числовой прямой даны два отрезка: P = [254; 800] и Q = [410; 823]. Найдите наименьшую возможную длину отрезка A, при котором формула
((x ∈ P) ∧ ¬(x ∈ A)) → (x ∈ Q) тождественно истинна, то есть принимает значение 1 при любых x. |
156
сайт Полякова