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

На чис­ло­вой пря­мой даны два от­рез­ка: P = [8, 39] и Q = [23, 58].

Вы­бе­ри­те из пред­ло­жен­ных от­рез­ков такой от­ре­зок A, что ло­ги­че­ское вы­ра­же­ние

((x ∈ P) ∨ (x ∈ А)) → ((x ∈ Q) ∨ (x ∈ А))

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

 

1)  [5, 30]

2)  [15, 40]

3)  [25, 50]

4)  [35, 60]

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

Ре­ше­ние.

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

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

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

(P ∨ A) → (Q ∨ A) = ¬(P ∨ A) ∨ (Q ∨ A).

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Наи­боль­ший ин­тер­вал на ко­то­ром ¬(P ∨ A) ис­тин­но по­лу­чит­ся, если от­ре­зок A по­па­да­ет внутрь от­рез­ка P. Тогда это вы­ра­же­ние ис­тин­но на ин­тер­ва­ле (−∞; 8) ∪ (39; ∞). Также не­об­хо­ди­мо, чтобы вы­ра­же­ние (Q ∨ A) было ис­тин­но на от­рез­ке [8; 39]. Оба этих усло­вия вы­пол­ня­ют­ся если за от­ре­зок A взять [5; 30].

 

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

Нина Орешина (Саяногорск) 06.06.2014 10:55

¬(P ∨ A) ∨ (Q ∨ A).

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Так как ч все­гда при­над­ле­жит А, то сле­до­ва­тель­но вто­рая скоб­ка все­гда ис­тин­на, а от­сю­да ис­тин­но и все вы­ра­же­ние. Сле­до­ва­тель­но, под­хо­дит любой ответ!!!!!!! Я уже не пер­вый раз встре­чаю у вас эту ошиб­ку.

Сергей Никифоров

Вы не­вер­но по­ни­ма­е­те усло­вие, x не все­гда при­над­ле­жит A, при­ведённое ло­ги­че­ское вы­ра­же­ние долж­но быть вы­пол­не­но для любых зна­че­ний x, в том числе, и не вхо­дя­щих в от­ре­зок A.