Присоединиться

11 класс·базовый уровень

На числовой прямой даны два отрезка:P = [−19352; 22118] и Q = [−12817

Условие

На числовой прямой даны два отрезка:P = [−19352; 22118] и Q = [−12817; 196773].Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение(x ∈

P) → (((x ∈

Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P))истинно (т. е. принимает значение 1) при любом значении переменной х.

Ответ

Ответ и полный разбор откроются после входа

Посмотреть ответ

Решение по шагам

  1. Как рассуждать

    Решение. Введем обозначения:(x ∈А) ≡ A; (x ∈

    P) ≡ P; (x ∈

    Q) ≡ Q.Преобразовав, получаем:P → ((Q ∧ ¬A) → ¬P) = P → (¬(Q ∧ ¬A) ∨ ¬P) =¬P ∨ (¬Q ∨ A ∨ ¬P) = ¬P ∨ ¬Q ∨ AЛогическое ИЛИ истинно, если истинно хотя бы одно утверждение. Условию ¬P= 1 удовлетворяют лучи (−∞; −19352) и (22118; +∞)Условию ¬Q= 1 удовлетворяют лучи (−∞; −12817) и (196773; +∞)Поскольку выражение (x ∈

    P) → (((x ∈

    Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P)) должно быть тождественно истинным, выражение A должно быть истинно на отрезке (−12817;

Осталось ещё 2 шага

  1. . Следовательно, наименьшая длина отрезка А…

  2. Приведём решение Сергея Донец на…

Получить полное решение

Бесплатно · займёт минуту

Другие задачи по теме «Преобразование логических выражений»

На числовой прямой даны два отрезка:P = [−19352; 22118] и Q = [−12817 — решение с объяснением | Lom Ai