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

На чис­ло­вой пря­мой даны два от­рез­ка: Р  =  [30, 45] и Q  =  [40, 55]. Ка­ко­ва наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A, что обе при­ведённые ниже фор­му­лы ис­тин­ны при любом зна­че­нии пе­ре­мен­ной х:

( ¬(x ∈ A) → (¬(x ∈ P)) )

((x ∈ Q)→ (x ∈ A))

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

Ре­ше­ние.

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

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

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

A ∨ ¬P

¬ Q ∨ А.

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Эти вы­ра­же­ния долж­ны быть ис­тин­ны для лю­бо­го x. Тогда вы­ра­же­ние A долж­но быть ис­тин­но на от­рез­ке [30;45] и на от­рез­ке [40;55]. Зна­чит, наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A равна 55 − 30  =  25.

 

Ответ: 25.

 

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

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

 

При­ведём ре­ше­ние Дмит­рия Тро­ши­на на языке Python.

P=[i for i in range(30,46)]

Q=[i for i in range(40,56)]

a=[]

for Amin in range(100):

for Amax in range(Amin,100):

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

z=1

for x in range(100):

if not(((not(x in A))<=(not(x in P))) and ((x in Q)<=(x in A))):

z=0

if z==1:

a.append(len(A))

print(min(a) - 1)

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