Элементы теории множеств.

"Под множеством мы понимаем объединение в одно целое определенных, вполне различимых объектов нашей интуиции или нашей мысли" - так описал понятие "множество" Георг Кантор, основатель теории множеств.

Основные предпосылки канторовской теории множеств сводятся к следующему:

1° Множество может состоять из любых различимых объектов.

2° Множество однозначно определяется набором составляющих его объектов.

3° Любое свойство определяет множество объектов, которые этим свойством обладают.

Если х - объект, Р - свойство, Р(х) - обозначение того, что х обладает свойством Р, то через {х|Р(х)} обозначают весь класс объектов, обладающих свойством Р. Объекты, составляющие класс или множество, называют элементами класса или множества.

Термин "множество " употребляется как синоним понятий совокупность, собрание, коллекция некоторых элементов. Так, можно говорить о:

а) множестве пчёл в улье,

б) множестве точек отрезка,

в) множестве вершин квадрата или о множествах его сторон и диагоналей,

г) множестве студентов в аудитории и т.д.

В приведённых примерах в случаях а), в)-г) соответствующие множества состоят из определённого конечного числа предметов, такие множества называются конечными . Множество точек отрезка (пример б)) пересчитать невозможно, поэтому такие множества называются бесконечными . Множество, не содержащее ни одного элемента, называется пустым множеством.

Наиболее простая форма задания множества - перечисление его элементов, например А={4, 7, 13} (множество А состоит из трёх элементов - целых чисел 4, 7, 13). Другая часто применяемая форма задания - указание свойств элементов множества, например A = {x| x 2 ≤ 4} - множество чисел х, удовлетворяющих указанному условию.

Множества обычно обозначаются большими буквами А, В, С,…., а их элементы - малыми: а, в, с,… Запись а ∈ А (читается: а принадлежит А) или A ∋ a (читается: А содержит а) означает, что а есть элемент множества А. Пустое множество обозначается значком Ø.

Если каждый элемент множества В является также элементом множества А, множество В называется подмножеством множества А (обозначение - B ⊆ A или A ⊇ B).

Каждое множество является своим подмножеством (это самое "широкое" подмножество множества). Пустое множество является подмножеством любого множества (это самое "узкое" подмножество). Любое другое подмножество множества А содержит хотя бы один элемент множества А, но не все его элементы. Такие подмножества называются истинными, или собственными подмножествами. Для истинных подмножеств множества А применяется обозначение B ⊂ A или A ⊃ B. Если одновременно B ⊆ A и A ⊆ B, т.е каждый элемент множества В принадлежит А, и в то же время каждый элемент А принадлежит В, то А и В, очевидно, состоят из одних и тех же элементов и, следовательно, совпадают. В этом случае применяется знак равенства множеств: A = B. (Символы ∈, ∋, ⊂, ⊃, ⊆, ⊇ называются символами включения).

Геометрически множества обычно изображаются как некоторые множества точек плоскости. Сами картинки называются диаграммами Эйлера-Венна (кругами Эйлера) . То есть диаграммы Эйлера-Венна – геометрические представления множеств или геометрические изображения отношений между объёмами понятий посредством пересекающихся контуров(кругов или эллипсов), предложенная английским логиком Джоном Венном (1834 - 1923) в конце позапрошлого века. В своих работах по наглядному графическому изображению логических фигур он опирался на ряд графических систем, предложенных Эйлером (1707 - 1783), И.Ламбертом (1728 - 1777), Жергонном (1771 -1859), Б. Больцано (1781 -1848).

Приведём некоторые из диаграмм. Построение диаграммы заключается в изображении большого прямоугольника, представляющего универсальное множество U , а внутри его – кругов (или каких-нибудь других замкнутых фигур), представляющих множества. Фигуры должны пересекаться в наиболее общем случае, требуемом в задаче, и должны быть соответствующим образом обозначены. Точки, лежащие внутри различных областей диаграммы, могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму, можно заштриховать определенные области для обозначения вновь образованных множеств.

Операции над множествами рассматриваются для получения новых множеств из уже существующих.

Определение. Объединением множеств А и В называется множество, состоящее из всех тех элементов, которые принадлежат хотя бы одному из множеств А, В (рис. 1):

Определение. Пересечением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат одновременно как множеству А, так и множеству В (рис. 2):

Определение. Разностью множеств А и В называется множество всех тех и только тех элементов А, которые не содержатся в В (рис. 3):

Определение. Симметрической разностью множеств А и В называется множество элементов этих множеств, которые принадлежат либо только множеству А, либо только множеству В (рис. 4):

Распространено и другое обозначение симметрической разности: А ∆ В, вместо А + В.

Определение. Абсолютным дополнением множества А называется множество всех тех элементов, которые не принадлежат множеству А (рис. 5):

Свойства операции пересечения: 1) A∩A=A; 2) A∩Ø=Ø; 3) A∩Ā= Ø; 4) A∩U=A; 5) A∩B=B∩A;	Свойства операции объединения: 1) AUA=A; 2) AUØ=A; 3) AUĀ= U; 4) AUU=U; 5) AUB=BUA;
Свойства операции разности: 1) A\A= Ø; 2) A\Ø= A; 3) A\Ā= A; 4) A\U= Ø;	5) U\A= Ā; 6) \A =Ø; 7) A\B≠B\A;

Справедливы равенства: (AUB)= A∩B; (A∩B)= AUB.

В заключение приведем еще одну формулу для подсчета числа элементов в объединении трех множеств (для общего случая их взаимного расположения, показанного на рисунке):

m(AUBUC)=m(A)+m(B)+m(C)-m(A∩B)-m(B∩C)-m(A∩C)+m(A∩B∩C)

Пример 1 . Записать множество всех науральных делителей числа 15 и найи число его элементов.

Пример 2 . Заданы множества A={2,3,5,8,13,15}, B={1,3,4,8,16}, C={12,13,15,16}, D= {0,1,20}.

Найти AUB, CUD, B∩C, A∩D, A\C, C\A, B\D, AUBUC, A∩B∩C, BUD∩C, A∩C\D.

AUB= {1,2,3,4,5,8,13,15,16}

CUD= {0,1,12,13,15,16,20}

AUBUC= {1,2,3,4,5,8,12,13,15,16}

BU(D∩C)= {1,3,4,8,16}

(A∩C)\D= {13,15}

Пример 3 . В школе 1400 учеников. Из них 1250 умеют кататься на лыжах, 952 – на коньках. Ни на лыжах, ни на коньках не умеют кататься 60 учащихся. Сколько учеников умеют кататься и на коньках и на лыжах?

A∩B – множество учащихся, не умеющих кататься ни на лыжах, ни на коньках.

По условию m(A∩B)=60, также используем равенство (AUB)= A∩B, тогда m((AUB))=60.

Значит, m(AUB)=m(U )-m((AUB))=1400-60=1340.

По условию m(A)=1250, m(B)=952, получаем m(A∩B)=m(A)+m(B)-m(AUB)=1250+952-1340=862

Пример 4 . Группа из 25 студентов сдала экзаменационную сессию со следующими результатами: 2 человека получили только «отлично»; 3 человека получили отличные, хорошие и удовлетворительные оценки; 4 человека только «хорошо»; 3 человека получили хорошие и удовлетворительные оценки. Число студентов, сдавших сессию только на «отлично», «хорошо», равно числу студентов, сдавших сессию только на «удовлетворительно». Студентов, получивших только отличные и удовлетворительные оценки, - нет. Удовлетворительные или хорошие оценки получили 22 студента. Сколько студентов не явились на экзамены? Сколько студентов сдали сессию только на «удовлетворительно»?x . Тогда из условия , получим

Число же студентов, не явившихся на экзамен, найдем следующим образом:

Ответ: 6 студентов получили только «удовлетворительно», 1 студент не явился на экзамены.

ДИАГРАММЫ ВЕННА - графический способ задания и анализа логико-математических теорий и их формул. Строятся путем разбиения части плоскости на ячейки (подмножества) замкнутыми контурами (кривыми Жордана). В ячейках представляется информация, характеризующая рассматриваемую теорию или формулу. Цель построения диаграмм не только иллюстративная, но и операторная - алгоритмическая переработка информации. Аппарат диаграмм Венна обычно используется вместе с аналитическим.

Способ разбиения, количество ячеек, а также проблемы записи в них информации зависят от рассматриваемой теории, которая тоже может вводиться (описываться) графически - некоторыми диаграммами Венна, задаваемыми первоначально, в частности, вместе с алгоритмами их преобразований, когда одни диаграммы могут выступать как операторы, действующие на другие диаграммы. Например, в случае классической логики высказываний для формул, составленных из п различных пропозициональных переменных, часть плоскости (универсум) делится на 2" ячеек, соответствующих конституэнтам (в конъюнктивной или в дизъюнктивной форме). Диаграммой Венна каждой формулы считается такая плоскость, в ячейках которой ставится (или не ставится) звездочка *. Так, формулу

(¬ а& ¬ b&c) V (а&¬ b&c) V (¬ a&b&¬ c)

с тремя пропозициональными переменными a, b и c определяет диаграмма, изображенная на рисунке, где звездочки в ячейках соответствуют конъюнктивным составляющим этой совершенной нормальной дизъюнктивной формулы. Если отмеченных звездочками ячеек нет, то диаграмме Венна сопоставляется, напр., тождественно ложная формула, скажем (a&¬ a).

Индуктивный способ разбиения плоскости на 2" ячеек восходит к трудам английского логика Дж. Венна, называется способом Венна и состоит в следующем:

1. При n = 1, 2, 3 очевидным образом используются окружности. (На приведенном рисунке n = 3.)

2. Предположим, что при n = k (k ≥ 3), указано такое рас-положение к фигур, что плоскость разделена на 2k ячеек.

Тогда для расположения k+1 фигуры на этой плоскости достаточно, во-первых, выбрать незамкнутую кривую (ср без точек самопересечения, т.е. незамкнутую кривую Жордана, принадлежащую границам всех 2k ячеек и имеющую с каждой из этих границ только один общий кусок. Во-вторых, обвести φ замкнутой кривой Жордана Ψ k+1 так, чтобы кривая Ψ k+1 проходила через все 2k ячейки и пересекала границу каждой ячейки только два раза. Таким образом получится расположение n= k+1 фигур такое, что плоскость разделится на 2k+1 ячеек.

Для представления других логико-математических теорий метод венновских диаграмм расширяется. Сама теория записывается так, чтобы выделить элементы ее языка в пригодной для графического изображения форме. Напр., атомарные формулы классической логики предикатов записываются как слова вида P(Y1..Yr), где P - предикатная, а Y1,..., Yr - предметные переменные, не обязательно различные; слово Y1,..., Yr - предметный инфикс. Очевидный теоретико-множественный характер диаграмм Венна позволяет представлять и исследовать с их помощью, в частности, теоретико-множественные исчисления, напр., исчисление ZF теории множеств Цермело-Френкеля. Графические методы в логике и математике развивались издавна. Таковы, в частности, логический квадрат, круги Эйлера и оригинальные диаграммы Л. Кэрролла. Однако метод диаграмм Венна существенно отличается от известного метода кругов Эйлера, используемого в традиционной силлогистике. В основе венновских диаграмм лежит идея разложения булевской функции на конституэнты - центральная в алгебре логики, обуславливающая их оперативный характер. Свои диаграммы Венн применял прежде всего для решения задач логики классов. Его диаграммы можно эффективно использовать и для решения задач логики высказываний и предикатов, обзора следствий из посылок, решения логических уравнений, а также других вопросов, вплоть до проблемы разрешимости. Аппарат диаграмм Венна находит применение в приложениях математической логики и теории автоматов, в частности при решении задач, связанных с нейронными цепями и проблемой синтеза надежных схем из относительно мало надежных элементов.

А. С. Кузичев

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 645.

Литература:

Venn J. Symbolic logic. L., 1881. Ed. 2, rev. L., 1894;

Кузичев А. С. Диаграммы Венна. История и применения. М., 1968;

Он же. Решение некоторых задач математической логики с помощью диаграмм Венна. - В кн.: Исследование логических систем. М., 1970.

Диаграммы Эйлера-Венна

Пример диаграммы Эйлера. B - живое существо, A - человек, C - неживая вещь.

Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер ( -) в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна ( -), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году . Поэтому такие схемы иногда называют Диаграммы Эйлера - Венна .

Примечания

Ссылки

Wikimedia Foundation . 2010 .

Смотреть что такое "Диаграммы Эйлера-Венна" в других словарях:

ДИАГРАММЫ ВEHHА графический способ задания и анализа логико математических теорий и их формул. Строятся путем разбиения части плоскости на ячейки (подмножества) замкнутыми контурами (кривьми Жордана). В ячейках представляется информация,… … Философская энциклопедия

Пример кругов Эйлера. Буквами обозначены, например, свойства: живое существо, человек, неживая вещь Круги Эйлера геометрическая схема, с помощью которой можно изобразить отношения … Википедия

Пример диаграммы Эйлера. B живое существо, A человек, C неживая вещь. Круги Эйлера геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в… … Википедия

Диаграмма Венна, показывающая все пересечения греческого, русского и латинского алфавитов (буквы заглавные) Диаграмма Венна … Википедия

Графический (геометрический, точнее топологический) аппарат математической логики (См. Логика). Идея Л. д. была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л.… … Большая советская энциклопедия

- (или принцип включений исключений) комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом … Википедия

Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико множественными операциями или сет операциями. В результате операций из исходных множеств получаются новые … Википедия

- (Carroll), настоящие имя и фамилия Чарлз Латуидж Доджсон (Dodgson) (1832 1898), английский писатель, математик и логик. В повестях сказках, продолжающих традицию гротескной «поэзии бессмыслиц», «Алиса в стране чудес» (1865) и «В Зазеркалье»… … Энциклопедический словарь

Книги

• Логикум: визуальная математика , Сухомлинова Т.. Данное пособие из серии "Интеллект-активити" предназначено для работы с учениками начальной школы 1-4 классов и направлено на развитие логического мышления и вычислительных навыков.. В…

Федеральное агентство по образованию

Государственное образовательное учреждение высшего профессионального образования

Национальный исследовательский

Томский политехнический университет

Институт природных ресурсов

Кафедра ВМ

РЕФЕРАТ

Тема: «Диаграмма Эйлера-Венна »

Исполнитель:

Студент группы 2У00

Руководитель:

Введение……………………………………………………………….………..3

1. Из истории…………………………………………………………….….…..4

2. Диаграмма Эйлера-Венна……………………………………………….…..4

3. Операции над множествами диаграммы Эйлера-Венна………………….5

a) Объединение……………………….. ……………………………….……7

b) Пересечение, дополнение………………….……………………………..7

c) Стрелка Пирса, штрих Шеффера и разность...………………………….8

d) Разность……………………………………………………………………8

e) Симметрическая разность и эквивалентность…………………….…….9

Заключение………………………………………………………………………10

Список литературы…………………………………………………….………..11

Введение

Круги Эйлера - геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Круги были изобретены Леонардом Эйлером. Используется в математике, логике, менеджменте и других прикладных направлениях.

Важный частный случай кругов Эйлера - диаграммы Эйлера - Венна, изображающие все 2n комбинаций n свойств, то есть конечную булеву алгебру. При n = 3 диаграмма Эйлера - Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.

При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик (1646-1716). Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы.

Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер (1841-1902) в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна (1843-1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году. Поэтому такие схемы иногда называют Диаграммы Эйлера - Венна.

1.Из истории

Леонард Эйлер (1707 - 1783, Санкт-Петербург, Российская империя) -математик, механик, физик. Адъюнкт по физиологии, профессор физики, профессор высшей математики, внёсший значительный вклад в развитие математики, а также механики, физики, астрономии и ряда прикладных наук.

Эйлер - автор более чем 800 работ по математическому анализу, дифференциальной геометрии, теории чисел, приближённым вычислениям, небесной механике, математической физике, оптике, баллистике, кораблестроению, теории музыки и др.

Почти полжизни провёл в России, где внёс существенный вклад в становление российской науки. В 1726 году он был приглашён работать вСанкт-Петербург, куда переехал годом позже. С 1711 по 1741, а также с 1766 года был академиком Петербургской Академии Наук (в 1741-1766 годах работал в Берлине, оставаясь одновременно почётным членом Петербургской Академии). Хорошо знал русский язык и часть своих сочинений (особенно учебники) публиковал на русском. Первые русские академики-математики (С. К. Котельников) и астрономы (С. Я. Румовский) были учениками Эйлера. Некоторые из его потомков до сих пор живут в России.

Джон Венн (1, английский логик. Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей». Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. Основной областью интереса Джона была логика, и он опубликовал три работы по этой теме. Это были "Логика случая", в которой вводится интерпретация частоты или частотная теория вероятностей в 1866; "Символьная логика", с которой были введены диаграммы Венна в 1881; "Принципы эмпирической логики" в 1889, в которой приводятся обоснования обратных операций в булевой логике.

В математике рисунки в виде кругов, изображающих множества, используются очень давно. Одним из первых, кто пользовался этим методом, был выдающийся немецкий математик и философ (1В его черновых набросках были обнаружены рисунки с такими кругами. Затем этот метод довольно основательно развил и Леонард Эйлер. Он долгие годы работал в Петербургской Академии наук. К этому времени относятся его знаменитые "Письма к немецкой принцессе", написанные в период с 1761 по 1768 год. В некоторых из этих "Писем..." Эйлер как раз и рассказывает о своем методе. После Эйлера этот же метод разрабатывал чешский математик Бернард Больцано (1Только в отличие от Эйлера он рисовал не круговые, а прямоугольные схемы. Методом кругов Эйлера пользовался и немецкий математик Эрнест Шредер (1Этот метод широко используется в книге "Алгебра логики". Но наибольшего расцвета графические методы достигли в сочинениях английского логика Джона Венна (1С наибольшей полнотой этот метод изложен им в книге "Символическая логика", изданной в Лондоне в 1881 году. В честь Венна вместо кругов Эйлера соответствующие рисунки называют иногда диаграммами Венна; в некоторых книгах их называют также диаграммами (или кругами) Эйлера-Венна.

2.Диаграмма Эйлера-Венна

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

Геометрической фигурой называется всякое множество точек плоскости. Чтобы наглядно отображать множества и отношения между ними, рисуют геометрические фигуры, которые находятся между собой в этих отношениях. Такие изображения множеств и называют диаграммами Эйлера–Венна. Диаграммы Эйлера–Венна делают наглядными различные утверждения, касающиеся множеств. На них универсальное множество изображают в виде прямоугольника, а его подмножества – кругами. Используется в математике, логике, менеджменте и других прикладных направлениях.

Диаграммы Эйлера-Венна заключается в изображении большого прямоугольника, представляющего универсальное множество U , а внутри его – кругов (или каких-нибудь других замкнутых фигур), представляющих множества. Фигуры должны пересекаться в наиболее общем случае, требуемом в задаче, и должны быть соответствующим образом обозначены. Точки, лежащие внутри различных областей диаграммы, могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму, можно заштриховать определенные области для обозначения вновь образованных множеств.

Основные операции над множествами:

Пересечение Объединение Разность

3.Операции над множествами диаграммы Эйлера-Венна

Операции над множествами рассматриваются для получения новых множеств из уже существующих.

	Определение. Объединением множеств А и В называется множество, состоящее из всех тех элементов, которые принадлежат хотя бы одному из множеств А, В (рис. 1):
	Определение. Пересечением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат одновременно как множеству А, так и множеству В (рис. 2):
	Определение. Разностью множеств А и В называется множество всех тех и только тех элементов А, которые не содержатся в В (рис. 3):
	Определение. Симметрической разностью множеств А и В называется множество элементов этих множеств, которые принадлежат либо только множеству А, либо только множеству В (рис. 4):
	Определение. Абсолютным дополнением множества А называется множество всех тех элементов, которые не принадлежат множеству А (рис. 5):

Теперь более подробно на примерах.

Пусть дана некоторая совокупность предметов, которую после пересчета можно было бы обозначить как

A = {1, 2, 4, 6} и B = {2, 3, 4, 8, 9}

круглых и белых предметов. Можно исходное множество называть фундаментальным , а подмножества A и B – просто множествами .

В результате получим четыре класса элементов:

C 0 = {5, 7, 10, 11} - элементы не обладают ни одним из названных свойств,

C 1 = {1, 6} - элементы обладают только свойством A (круглые),

C 2 = {3, 8, 9} - элементы обладают только свойством B (белые),

C 3 = {2, 4} - элементы обладают одновременно двумя свойствами A и B.

На рис. 1.1. указанные классы изображены с помощью диаграммы Эйлера - Венна .

Рис. 1.1

Часто диаграммы не имеют всей полноты общности, например та, что изображена на рис. 1.2. На ней уже множество A полностью включено в B. Для такого случая используется специальный символ включения (Ì): A Ì B = {1, 2, 4} Ì {1, 2, 3, 4, 6}.

Если одновременно выполняются два условия: A Ì B и B Ì A, то A = B, в этом случае говорят, что множества A и B полностью эквивалентны .

Рис. 1.2

После того, как определены четыре класса элементов и даны необходимые сведения о диаграммах Эйлера - Венна, введем операции на множествах. В качестве первой рассмотрим операцию объединения .

a)Объединение

Объединением множеств A = {1, 2, 4, 6} и B = {2, 3, 4, 8, 9}

назовем множество

A È B = {1, 2, 3, 4, 6, 8, 9},

где È - символ объединения множеств. Таким образом, объединением охватываются три класса элементов - C 1, C 2 и C 3, которые на диаграмме (рис. 1.3) заштрихованы.

Логически операцию объединения двух множеств можно охарактеризовать словами: элемент x принадлежит множеству A или множеству B. При этом связка «или» одновременно означает и связку «и». Факт принадлежности элемента x множеству A обозначается как x Î A. Поэтому то, что x принадлежит A или/и B, выражается формулой:

x Î A È B = (x Î A) Ú (x Î B),

где Ú - символ логической связки или, которая называется дизъюнкцией .

b)Пересечение, дополнение

Пересечением множеств A и B называется множество A Ç B, содержащее те элементы из A и B, которые входят одновременно в оба множества. Для нашего числового примера будем иметь:

A Ç B = {1, 2, 4, 6} Ç {2, 3, 4, 8, 9} = {2, 4} = C 3.

Диаграмма Эйлера – Венна для пересечения изображена на рис. 1.4.

То, что x принадлежит одновременно двум множествам A и B можно представить выражением:

x Î A Ç B = (x Î A) Ù (x Î B),

где Ù - символ логической связки «и», которая называется конъюнкцией .

Представим себе операцию, в результате которой окажутся заштрихованными области C 1 и C 3, образующие множество A (рис. 1.5). Затем еще одну операцию, которая охватит две другие области - C 0 и C 2, не входящие в A, что обозначается как A (рис.1.6).

Если объединить заштрихованные области на обеих диаграммах, то получим все заштрихованное множество 1; пересечение же A и A даст пустое множество 0, в котором не содержится ни одного элемента:

A È A = 1, A Ç A = 0.

Множество A дополняет множество A до фундаментального множества V (или 1); отсюда название: дополнительное множество A, или дополнение как операция. Дополнение к логической переменной x , т. е. x (не-x ), называется чаще всего отрицанием x .

После введения операций пересечения и дополнения все четыре области Ci на диаграмме Эйлера – Венна можно выразить следующим образом:

C 0 = A ÇB , C 1 = A Ç B , C 2 = A Ç B, C 3 = A Ç B.

Путем объединения соответствующих областей Ci можно представить любую множественную операцию, в том числе и само объединение:

A È B = (A Ç B ) È (A Ç B) È (A Ç B).

На диаграмме Эйлера - Венна для импликации (рис. 1.10) показано частичное включение множества A во множество B, которое нужно отличать от полного включения (рис. 1.2).

Если утверждается, что «элементы множества A включены во множество B», то область C 3 обязательно должна быть заштрихована, а область C 1 с такой же необходимостью должна быть оставлена белой. Относительно областей C 0 и C 1, находящихся в A , заметим, что мы не имеем права оставлять их белыми, но, мы обязаны все же области, попадающие в A , заштриховать.

Е)Симметрическая разность и эквивалентность

Остается привести еще две взаимно дополняющих операции - симметрическую разность и эквивалентность. Симметрическая разность двух множеств A и B есть объединение двух разностей:

A + B = (A – B) È (B – A) = C 1 È C 2 = {1, 3, 6, 8, 9}.

Эквивалентность определяется теми элементами множеств A и B, которые для них являются общими. Однако элементы, не входящие ни в A, ни в B, также считаются эквивалентными:

A ~ B = (A Ç B) È (A Ç B ) = C 0 È C 3 = {2, 4, 5, 7, 10, 11}.

На рис. 1.11 и 1.12 показана штриховка диаграмм Эйлера - Венна.

В заключение отметим, что симметрическая разность имеет несколько названий: строгая дизъюнкция , исключающая альтернатива , сумма по модулю два . Эту операцию можно передать словами - «либо А, либо В», т. е. это логическая связка «или», но без включенной в нее связки «и».

Заключение

Диаграммы Эйлера-Венна – геометрические представления множеств. Простое построение диаграммы обеспечивает наглядное изображение, представляющее универсальное множество U , а внутри его – кругов (или каких-нибудь других замкнутых фигур), представляющих множества. Фигуры пересекаются в наиболее общем случае, требуемом в задаче, и соответствуют образному изображению. Точки, лежащие внутри различных областей диаграммы, могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму, можно заштриховать определенные области для обозначения вновь образованных множеств. Это позволяет нам иметь наиболее полное представление о задаче и ее решении. Простота диаграмм Эйлера-Венна позволяет использовать данный прием в таких направлениях, как математика, логика, менеджмент и других прикладных направлениях.

Список литературы

1. Словарь по логике. - М.: Туманит, изд. центр ВЛАДОС. , . 1997

2. Weisstein, Eric W. «Диаграмма Венна» (англ.) на сайте Wolfram MathWorld.

Диаграммы Эйлера-Венна – геометрические представления множеств. Построение диаграммы заключается в изображении большого прямоугольника, представляющего универсальное множество U, а внутри его – кругов (или каких-нибудь других замкнутых фигур), представляющих множества.

Фигуры должны пересекаться в наиболее общем случае, требуемом в задаче, и должны быть соответствующим образом обозначены. Точки, лежащие внутри различных областей диаграммы, могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму, можно заштриховать определенные области для обозначения вновь образованных множеств.

Операции над множествами рассматриваются для получения новых множеств из уже существующих.

Определение. Объединением множеств А и В называется множество, состоящее из всех тех элементов, которые принадлежат хотя бы одному из множеств А, В (рис. 1):

Определение. Пересечением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат одновременно как множеству А, так и множеству В (рис. 2):

Определение.

Разностью множеств А и В называется множество всех тех и только тех элементов А, которые не содержатся в В (рис. 3):

Определение. Симметрической разностью множеств А и В называется множество элементов этих множеств, которые принадлежат либо только множеству А, либо только множеству В (рис. 4):

Определение. Абсолютным дополнением множества А называется множество всех тех элементов, которые не принадлежат множеству А (рис. 5):

Рис. 6.

Убедились, что в обоих случаях получаем равные множества. Следовательно, исходное соотношение справедливо.