Задания
Версия для печати и копирования в MS Word
Тип 15 № 78040
i

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [117; 158] и Q  =  [130; 180]. Ука­жи­те наи­мень­шую воз­мож­ную длину та­ко­го от­рез­ка A, для ко­то­ро­го ло­ги­че­ское вы­ра­же­ние

¬((xP) → ((¬(xA) ∧ (xQ)) → ¬(x ∈ P)))

ложно (т. е. при­ни­ма­ет зна­че­ние 0) при любом зна­че­нии пе­ре­мен­ной х.

Спрятать решение

Ре­ше­ние.

Вве­дем обо­зна­че­ния:

(x ∈А) ≡ A; (x ∈ P) ≡ P; (x ∈ Q) ≡ Q.

При­ме­нив пре­об­ра­зо­ва­ние им­пли­ка­ции, по­лу­ча­ем:

¬(P → ((¬ A ∧ Q)→¬ P)) ⇔ ¬(¬P ∨ (¬(¬ A ∧ Q)∨ ¬P) ⇔ ¬(¬P ∨ A ∨ ¬Q) .

¬(¬P ∨ A ∨ ¬Q)) = 0 ⇔ ¬P ∨ A ∨ ¬Q = 1 .

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние.

Усло­вие ¬P ис­тин­но на мно­же­стве (−∞, 117] ∪ [158, ∞).

Усло­вие ¬Q ис­тин­но на мно­же­стве (−∞, 130] ∪ [180, ∞).

По­сколь­ку вы­ра­же­ние ¬P ∨ A ∨ ¬Q долж­но быть тож­де­ствен­но ис­тин­ным, вы­ра­же­ние A долж­но быть ис­тин­ным на мно­же­стве [130; 158]. Зна­чит, наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A равна 158 − 130  =  28.

 

Ответ: 28.


Аналоги к заданию № 78040: 78072 Все