Глава 16. Введение в математическую логику

16.5. Демонстрационные задачи

Найти объединение и пересечение множеств, если  

По определению, объединение множеств A и B состоит из элементов как множества A, так и B. Таким образом, AB состоит из всех действительных чисел, входящих либо в промежуток (0; 10), либо в промежуток [-7; 2), то есть является объединением этих промежутков. На числовой прямой отметим концы данных промежутков (см. рисунок).

1

Рисунок 16.5.1

Объединением, очевидно, будет промежуток [-7; 10). Пересечением данных числовых промежутков будет промежуток с двойной штриховкой (см. рисунок). Таким образом,

Изобразите с помощью диаграмм Эйлера-Венна следующую форму логического рассуждения: "Если некоторые a являются b, а некоторые b являются c, то некоторые a являются c".

На языке теории множеств это означает, что если AB ≠  и BC ≠ , то AC ≠ . Но это не всегда верно, что и демонстрирует приведенная ниже диаграмма.

2

Рисунок 16.5.2

Какие из следующих теорем верны? Какие из них являются по отношению друг к другу обратными, противоположными?

1. Если каждое из слагаемых делится на 11, то и сумма делится на 11.
2. Если ни одно из слагаемых не делится на 11, то и сумма не делится на 11.
3. Если если хотя бы одно из слагаемых делится на 11, то и сумма делится на 11.
4. Если сумма делится на 11, то и каждое из слагаемых делится на 11.
5. Если сумма не делится на 11, то хотя бы одно из слагаемых не делится на 11.
6. Если сумма не делится на 11, то ни одно из слагаемых не делится на 11.

Сформулируем эти теоремы с использованием кванторов и предикатов. Рассмотрим предикаты  и  Очевидно, что множество, на котором определены предикаты, по смыслу теоремы есть множество всех действительных чисел. Поэтому, приведенные теоремы запишутся следующим образом:

1.  – верно;
2.  – неверно;
3.  – неверно;
4.  – неверно;
5.  – верно;
6.  – неверно.