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

На чис­ло­вой пря­мой даны два от­рез­ка:

P  =  [−19826; 22713]

и

Q  =  [−11089; 185111].

Ука­жи­те наи­мень­шую воз­мож­ную длину та­ко­го от­рез­ка A, для ко­то­ро­го ло­ги­че­ское вы­ра­же­ние

(x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P))

ис­тин­но (т. е. при­ни­ма­ет зна­че­ние 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 удо­вле­тво­ря­ют лучи (−∞; −19826) и ( 22713; +∞)

Усло­вию ¬Q=  1 удо­вле­тво­ря­ют лучи (−∞; −11089) и (185111; +∞)

По­сколь­ку вы­ра­же­ние (x ∈ P) → (((x ∈ Q) ∧ ¬(x ∈ A)) → ¬(x ∈ P)) долж­но быть тож­де­ствен­но ис­тин­ным, вы­ра­же­ние A долж­но быть ис­тин­но на от­рез­ке (−11089;  22713) . Сле­до­ва­тель­но, наи­мень­шая длина от­рез­ка А равна 22713 − (−11089)  =  33802.

 

Ответ: 33802.


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