Задания
Версия для печати и копирования в MS Word

Эле­мен­та­ми мно­же­ства А яв­ля­ют­ся на­ту­раль­ные числа. Из­вест­но, что вы­ра­же­ние

 

(x ∈ {2, 4, 6, 8, 10, 12}) → (((x ∈ {3, 6, 9, 12, 15}) ∧ ¬(x ∈ A)) → ¬(x ∈ {2, 4, 6, 8, 10, 12}))

 

ис­тин­но (т. е. при­ни­ма­ет зна­че­ние 1) при любом зна­че­нии пе­ре­мен­ной х. Опре­де­ли­те наи­мень­шее воз­мож­ное зна­че­ние суммы эле­мен­тов мно­же­ства A.

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

Ре­ше­ние.

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

(x ∈ {2, 4, 6, 8, 10, 12}) ≡ P; (x ∈ {3, 6, 9, 12, 15}) ≡ Q; (x ∈ A) ≡ A.

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

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

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Вы­ра­же­ние ¬P ∨ ¬Q ис­тин­но при всех зна­че­ни­ях x, кроме зна­че­ний 6 и 12. Сле­до­ва­тель­но, мно­же­ство А долж­но со­дер­жать точки 6 и 12. То есть ми­ни­маль­ный набор точек в мно­же­стве А ≡ {6, 12}. Сумма эле­мен­тов мно­же­ства А равна 18.

 

Ответ: 18.


Аналоги к заданию № 7675: 7702 Все

Раздел кодификатора ФИПИ: