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

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [12, 62] и Q  =  [32, 92].

Ка­ко­ва наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A, что фор­му­ла

(¬(x ∈ А) ∧ (x ∈ Q)) → (x ∈ P)

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

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

Ре­ше­ние.

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

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

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

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

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. ¬Q∨P ис­тин­но тогда, когда x∈(– ∞; 62];(92; ∞). По­сколь­ку все вы­ра­же­ние долж­но быть ис­тин­но для ЛЮ­БО­ГО x, вы­ра­же­ние A долж­но быть ис­тин­но на по­лу­ин­тер­ва­ле (62; 92]. Зна­чит, наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A равна 92 − 62  =  30.

 

Ответ: 30.

 

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

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

 

 

При­ведём ре­ше­ние Алек­сея Во­ро­на на языке Python.

s = []

for amin in range(1,100):

for amax in range(1,100):

b = 1

for x in range(1,100):

if ((not(amin <= x <= amax) and (32 <= x <= 92)) <= (12 <= x <= 62))==0:

b = 0

break

if b == 1:

s.append(amax-amin)

print(min(s)+1)

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