Применение диаграмм эйлера-венна при решении логических задач.

История

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

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

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

При решении многих задач Л. Эйлер изображал множества с помощью кругов, поэтому они и получили название «круги Эйлера» . Этим методом ещё ранее пользовался немецкий философ и математик Готфрид Лейбниц, который использовал их для геометрического объяснения логических связей между понятиями, но при этом чаще использовал линейные схемы. Эйлер же достаточно основательно развил метод. Особенно знаменитыми графические методы стали благодаря английскому логику и философу Джону Венну, который ввел диаграммы Венна и подобные схемы часто называют диаграммами Эйлера-Венна . Используются они во многих областях, например, в теории множеств, теории вероятности, логике, статистике и информатике.

Принцип построения диаграмм

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

Логические операции задают таблицы истинности. На диаграмме изображается круг с названием множества, которое он представляет, например, $A$. Область в середине круга $A$ будет отображать истинность выражения $A$, а область вне круга -- ложь. Для отображения логической операции заштриховывают только те области, в которых значения логической операции при множествах $A$ и $B$ истинны.

Например, конъюнкция двух множеств $A$ и $B$ истинна только в том случае, когда оба множества истинны. В таком случае на диаграмме результатом конъюнкции $A$ и $B$ будет область в середине кругов, которая одновременно принадлежит множеству $A$ и множеству $B$ (пересечению множеств).

Рисунок 1. Конъюнкция множеств $A$ и $B$

Использование диаграмм Эйлера-Венна для доказательства логических равенств

Рассмотрим, как применяется метод построения диаграмм Эйлера-Венна для доказательства логических равенств.

Докажем закон де Моргана, который описывается равенством:

Доказательство:

Рисунок 4. Инверсия $A$

Рисунок 5. Инверсия $B$

Рисунок 6. Конъюнкция инверсий $A$ и $B$

После сравнения области для отображения левой и правой части видим, что они равны. Из этого следует справедливость логического равенства. Закон де Моргана доказан с помощью диаграмм Эйлера-Венна.

Решение задачи поиска информации в Интернет с помощью диаграмм Эйлера-Венна

Для осуществления поиска информации в Интернет удобно использовать поисковые запросы с логическими связками, аналогичными по смыслу союзам "и", "или" русского языка. Смысл логических связок становится более понятным, если проиллюстрировать их с помощью диаграмм Эйлера-Венна.

Пример 1

В таблице приведены примеры запросов к поисковому серверу. Каждый запрос имеет свой код -- буква от $A$ до $B$. Нужно расположить коды запросов в порядке убывания количества найденных страниц по каждому запросу.

Рисунок 7.

Решение:

Построим для каждого запроса диаграмму Эйлера-Венна:

Рисунок 8.

Ответ: БВА.

Решение логической содержательной задачи с помощью диаграмм Эйлера-Венна

Пример 2

За зимние каникулы из $36$ учеников класса $2$ не были ни в кино, ни в театре, ни в цирке. В кино сходило $25$ человек, в театр -- $11$, в цирк -- $17$ человек; и в кино, и в театре -- $6$; и в кино и в цирк -- $10$; и в театр и в цирк -- $4$.

Сколько человек побывало и в кино, и в театре, и в цирке?

Решение:

Обозначим количество ребят, побывавших и в кино, и в театре, и в цирке -- $x$.

Построим диаграмму и узнаем количество ребят в каждой области:

Рисунок 9.

Не были ни в театре, ни в кино, ни в цирке -- $2$ чел.

Значит, $36 - 2 = 34$ чел. побывали на мероприятиях.

В кино и театр сходило $6$ чел., значит, только в кино и театр ($6 - x)$ чел.

В кино и цирк сходило $10$ чел., значит, только в кино и цирк ($10 - x$) чел.

В театр и цирк сходило $4$ чел., значит, только в театре и цирк ($4 - x$) чел.

В кино сходило $25$ чел., значит, из них только в кино сходило $25 - (10 - x) - (6 - x) - x = (9+x)$.

Аналогично, только в театр сходило ($1+x$) чел.

Только в цирк сходило ($3+x$) чел.

Итак, сходили в театр, кино и цирк:

$(9+x)+(1+x)+(3+x)+(10-x)+(6-x)+(4-x)+x = 34$;

Т.е. только один человек сходил и в театр, и в кино, и в цирк.

Чтобы лучше представить себе множество, можно использовать рисунок, называемый диаграммой Эйлера_Венна.Это замкнутая линия, внутри которой расположены элементы данного множества, а с наружи -элементы, не пренадлежащие множеству.

Скачать:

Предварительный просмотр:

Чтобы пользоваться предварительным просмотром презентаций создайте себе аккаунт (учетную запись) Google и войдите в него: https://accounts.google.com

Подписи к слайдам:

Диаграмма Венна Знаки ∈ и ∉ 3 класс Математика Петерсон Л.Г.

Любое множество А можно изобразить графически в виде замкнутой линии. Считается, что элементы множества (А) расположены внутри этой линии, а все элементы, которые не принадлежат множеству (А), - снаружи. Такая схема называется диаграммой Венна. a 2 m Например, диаграмму множества В = { 2, m , } можно нарисовать так: В

Знаки ∈ и ∉ a 2 m Предложение «Число 2 принадлежит множеству В» записывают короче: 2 ∈ В. Знак ∈ читают: «принадлежит» Предложение «Буква а не принадлежит множеству В» также можно записать короче: а ∉ В. Знак ∉ читают: «не принадлежит» В

e 8 b A 4 На рисунке изображена диаграмма множества А. Какие элементы принадлежат множеству А, а какие ему не принадлежат? b … A e … A … A 8 … A 4 … A … A ∈ ∈ ∈ ∉ ∉ ∉ ∉ ∉ Прочти ещё раз полученные записи.

Отметь элементы, d, 10 , 5 на диаграмме множества С, если известно, что: ∈ С ∉ С С d ∉ C 10 ∈ C ∈ C 5 ∉ С d 10 5

Имеется множество М = {а, b, c, }. Какой знак поставить: ∈ или ∉ ? a … M … M c … M … M … M 8 … M ∈ ∈ ∈ ∉ ∉ ∉

D – множество двузначных чисел. Являются ли числа 26, 307, 8, 940, 15, 60 элементами множества D ? 26 … D 8 … D 15 … D 307 … D 940 … D 60 … D ∈ ∈ ∈ ∉ ∉ ∉ Отметим эти числа на диаграмме. 26 307 8 940 15 60 Назовите самое маленькое и самое большое число множества D. D = { 10 , …, …, … 99}

А – множество бабочек, а В – множество роз. Как построить диаграммы множеств А и В? Сколько бабочек принадлежит множеству А? Сколько роз принадлежит множеству В? Сколько общих элементов у множеств А и В?

Задание на дом. Стр.12 №11, 12

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

Джон Венн (1834-1923) - английский философ и логик, соавтор диаграммы Эйлера-Венна.

Совместимые и несовместимые понятия

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

В случае когда элементы объема одного понятия полностью или частично принадлежат объему другого, говорят о совместимых понятиях. Если же ни один элемент объема определенного понятия не принадлежит к объему другого, мы имеем место с несовместимыми понятиями.

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

• тождество (равнозначность) объемов;
• пересечение (частичное совпадение) объемов;
• подчинение (субординация).

Для несовместимых:

• соподчинение (координация);
• противоположность (контрарность);
• противоречие (контрадикторность).

Схематически отношения между понятиями в логике принято обозначать при помощи кругов Эйлера-Венна.

Отношения равнозначности

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

А - Зигмунд Фрейд;

В - основоположник психоанализа.

А - квадрат;

В - равносторонний прямоугольник;

С - равноугольный ромб.

Для обозначения используются полностью совпадающие круги Эйлера.

Пересечение (частичное совпадение)

А - педагог;

В - меломан.

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

Подчинение (субординация)

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

Например:

А - дерево;

В - сосна.

Понятие В будет являться подчиненным по отношению к понятию А. Так как сосна относится к деревьям, то понятие А становится в данном примере подчиняющим, «поглощающим» объем понятия В.

Соподчинение (координация)

Отношение характеризует два и более понятия, исключающих друг друга, но принадлежащих при этом определенному общему родовому кругу. Например:

А - кларнет;

В - гитара;

С - скрипка;

D - музыкальный инструмент.

Понятия А, В, С не являются пересекающимися по отношению друг к другу, тем не менее, все они относятся к категории музыкальных инструментов (понятие D).

Противоположность (контрарность)

Противоположные отношения между понятиями подразумевают отнесенность данных понятий к одному и тому же роду. При этом одно из понятий обладает определенными свойствами (признаками), в то время как другое их отрицает, замещая противоположными по характеру. Таким образом, мы имеем дело с антонимами. Например:

А - карлик;

В - великан.

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

Противоречие (контрадикторность)

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

А - сложная задача;

В - несложная задача (не-А).

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

Таким образом, соотношение объемов понятий по отношению друг к другу является ключевой характеристикой, определяющей круги Эйлера.

Отношения между множествами

Также следует различать понятия элементов и множества, объем которых отображают круги Эйлера. Понятие множества заимствовано из математической науки и имеет достаточно широкое значение. Примеры в логике и математике отображают его как некую совокупность объектов. Сами же объекты являются элементами данного множества. «Множество есть многое, мыслимое как единое» (Георг Кантор, основатель теории множеств).

Обозначение множеств осуществляется А, В, С, D… и т. д., элементов множеств - строчными: а, b, с, d…и др. Примерами множества могут быть студенты, находящиеся в одной аудитории, книги, стоящие на определенной полке (или, например, все книги в какой-либо определенной библиотеке), страницы в ежедневнике, ягоды на лесной поляне и т. д.

В свою очередь, если определенное множество не содержит ни одного элемента, то его называют пустым и обозначают знаком Ø. Например, множество точек пересечения множество решений уравнения х 2 = -5.

Решение задач

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

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

W - что я люблю делать?

D - что у меня получается?

P - чем я смогу хорошо зарабатывать?

Изобразим это в виде схемы: в логике - отношение пересечения):

Результатом станут те профессии, которые окажутся на пересечении всех трех кругов.

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

С данными множествами допустимо выполнение основных математических операций: сложение (сумма множеств элементов), вычитание (разность), умножение (произведение). Кроме того, благодаря диаграммам Эйлера-Венна можно проводить операции сравнения множеств по числу входящих в них элементов, не считая их.

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

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

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

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

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

Кафедра ВМ

РЕФЕРАТ

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

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

Студент группы 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.Операции над множествами диаграммы Эйлера-Венна

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

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

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

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.

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

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

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

Примечания

Ссылки

Wikimedia Foundation . 2010 .

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

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

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

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

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

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

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

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

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

Книги

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