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

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

(x ∈ A) → (x ∈ P) и

(x ∈ Q) → (x ∈ R)

тож­де­ствен­но равны, то есть при­ни­ма­ют рав­ные зна­че­ния при любом зна­че­нии пе­ре­мен­ной х (за ис­клю­че­ни­ем, воз­мож­но, ко­неч­но­го числа точек).

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

Ре­ше­ние.

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

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

 

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

(¬A∨P) и

(¬Q∨R)

 

R∨¬Q ложно тогда, когда x∈(15;20]. Вы­ра­же­ние ¬A∨P долж­но быть ложно на этом же ин­тер­ва­ле. Вы­ра­же­ние P на нем ложно. Сле­до­ва­тель­но, стоит по­тре­бо­вать, чтобы ¬А было ложно на ин­тер­ва­ле (15; 20] и ис­тин­но по край­ней мере на ин­тер­ва­ле (−∞; 10) ∪ (20; ∞). Если ¬A ложно, то A ис­тин­но. Зна­чит, наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A равна 5.

 

Ответ: 5.

 

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

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

 

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

p = range(10, 16)

q = range(10, 21)

r=range(5,16)

A = [int(i) for i in range(1, 6)]

for x in range(100):

if (((x in A)<=(x in p)))!=(((x in q)<=(x in r))):

A = A[1:]

else:

print(len(A))

break

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