Ответ:
Обозначим через P(x) высказывание «элемент x принадлежит множеству A», а через Q(x) — «x принадлежит множеству B». Тогда операции над множествами соответствуют логическим операциям над высказываниями:
| Алгебра множеств | Алгебра высказываний | Смысл соответствия |
|---|---|---|
| Объединение A ∪ B | Дизъюнкция P(x) ∨ Q(x) | x принадлежит хотя бы одному из множеств. |
| Пересечение A ∩ B | Конъюнкция P(x) ∧ Q(x) | x принадлежит обоим множествам. |
| Дополнение Ā | Отрицание ¬P(x) | x не принадлежит A. |
| Разность A \ B | P(x) ∧ ¬Q(x) | x принадлежит A, но не принадлежит B. |
| Пустое множество ∅ | Ложь | Нет элементов, для которых соответствующее условие истинно. |
| Универсальное множество U | Истина | Условие выполняется для всех рассматриваемых элементов. |
Например, если A — множество чётных чисел, а B — множество чисел, делящихся на 3, то A ∩ B состоит из чисел, которые одновременно чётные и делятся на 3. Это соответствует конъюнкции двух условий.
Аналогия объясняет законы алгебры множеств. Например, равенство A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) соответствует распределительному закону логики: P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R). В обоих случаях равенство проверяется по тому, принадлежит ли произвольный элемент результату — то есть по истинности соответствующего высказывания.
