Информатика (Вариант 8)
На числовой прямой задан отрезок A. Известно, что формула
((x ∈ A) → (x2 ≤ 81)) ∧ ((y2 ≤ 36) → (y ∈ A))
тождественно истинна при любых вещественных x и y. Какую наибольшую длину может иметь отрезок A?
Ответ
Раскрывая импликацию по правилу A → B = ¬A + B, заменяя логическую сумму совокупностью, а логическое произведение системой соотношений, определим значения параметра А, при котором система совокупностей
будет иметь решения для любых вещественных чисел.
Чтобы решениями системы были все вещественные числа, необходимо и достаточно, чтобы решениями каждой из совокупностей были все вещественные числа.
Решениями неравенства 
являются все числа из отрезка [−9; 9]. Чтобы совокупность выполнялась для всех вещественных чисел, числа x, не лежащие на указанном отрезке, должны принадлежать отрезку A. Следовательно, отрезок A не должен выходить за пределы отрезка [−9; 9].
Аналогично, решениями неравенства 
являются числа из лучей 
и 
Чтобы совокупность выполнялась для всех вещественных чисел, числа x, не лежащие на указанных лучах, должны лежать на отрезке A. Следовательно, отрезок A должен содержать в себе отрезок [−6; 6].
Тем самым, наибольшая длина отрезка A может быть равна 9 + 9 = 18.