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

На чис­ло­вой пря­мой даны два от­рез­ка: P=[5, 15] и Q=[11, 21]. Вы­бе­ри­те такой от­ре­зок A, чтобы фор­му­ла

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

тож­де­ствен­но ис­тин­на, то есть при­ни­ма­ет зна­че­ние 1 при любом зна­че­нии пе­ре­мен­ной x.

 

1)  [2, 22]

2)  [3, 13]

3)  [6, 16]

4)  [17, 27]

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

Ре­ше­ние.

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

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

 

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

 

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

 

¬A ∨ P ∨ ¬ Q.

Это вы­ра­же­ние долж­но быть ис­тин­но для лю­бо­го x. Тогда вы­ра­же­ние ¬A долж­но быть ис­тин­но на от­рез­ке [15;21]. Тогда вы­ра­же­ние A долж­но быть ис­тин­но внут­ри про­ме­жут­ка, ко­то­рый ни одной точ­кой не лежит в от­рез­ке [15;21].

 

Из всех от­рез­ков толь­ко от­ре­зок [3, 13] удо­вле­тво­ря­ет этим усло­ви­ям.

 

Пра­виль­ный ответ ука­зан под но­ме­ром 2.