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

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [10, 29] и Q  =  [13, 18].

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

((xA) → (xP)) ∨ (xQ)

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

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

Ре­ше­ние.

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

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

 

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

¬A ∨ P ∨ Q.

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Вы­ра­же­ние P ∨ Q ис­тин­но на от­рез­ке [10, 29]. Зна­чит, ¬A долж­но быть ис­тин­но вне этого от­рез­ка. Сле­до­ва­тель­но, A долж­но быть ис­тин­но на от­рез­ке [10, 29]. Его длина 19.

 

Ответ: 19.

 

При­ведём дру­гое ре­ше­ние за­да­чи Зи­бе­ро­вой Вик­то­рии на языке Python.

p=[int(i) for i in range(10,30)]

q=[int(i) for i in range(13,19)]

a=[int(i) for i in range(10,30)]

for x in range(1,100):

if not(((x in a)<=(x in p)) or(x in q)):

a.remove(x)

print(len(a)-1)

 

При­ме­ча­ние.

О длине от­рез­ка на­пи­са­но в при­ме­ча­нии к за­да­че 11119.


Аналоги к заданию № 9653: 9699 34534 34543 Все

Раздел кодификатора ФИПИ: 1.5.1 Вы­ска­зы­ва­ния, ло­ги­че­ские опе­ра­ции, кван­то­ры, ис­тин­ность вы­ска­зы­ва­ния