Ответ:

Обозначим через 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 \ BP(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). В обоих случаях равенство проверяется по тому, принадлежит ли произвольный элемент результату — то есть по истинности соответствующего высказывания.