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

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [2, 10] и Q  =  [6, 14]. Ка­ко­ва наи­боль­шая воз­мож­ная длина ин­тер­ва­ла A, что фор­му­ла

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

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

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

Ре­ше­ние.

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

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

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

¬A∨P∨Q.

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Вы­ра­же­ние P ∨ Q ис­тин­но на от­рез­ке [2; 14]. По­сколь­ку все вы­ра­же­ние долж­но быть ис­тин­но для лю­бо­го x, вы­ра­же­ние ¬A долж­но быть ис­тин­но на мно­же­стве (−∞; 2) ∪ (14; ∞). Таким об­ра­зом, вы­ра­же­ние A долж­но быть ис­тин­но толь­ко внут­ри от­рез­ка [2;14]. Зна­чит, наи­боль­шая длина от­рез­ка равна 14 − 2  =  12.

 

Ответ: 12.

 

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

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

 

При­ведём ре­ше­ние Ивана Глад­ких (Чер­кесск) на языке Python.

m = 0

P = [i for i in range(2, 11)]

Q = [i for i in range(6, 15)]

for Amin in range(1, 20):

for Amax in range(Amin + 1, 20):

check = 1

A = [i for i in range(Amin, Amax)]

for x in range(-100, 100):

f = ((x in A) <= (x in P)) or (x in Q)

if not f:

check = 0

break

if check == 1:

m = max(m,Amax - Amin)

print(m-1)

 

При­ведём ре­ше­ние Юлии Леон­тье­вой на языке Python.

P = list(range(2,11))

Q = list(range(6,15))

A = list(range(1,1000))

for x in range(1,1000):

if (((x in A)<=(x in P)) or (x in Q))== False:

A.remove(x)

print(len(A) - 1)


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

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