Леонард Эйлер (1707-1783) - известный швейцарский и российский математик, член Петербургской академии наук, бо́льшую часть жизни прожил в России. Наиболее известным в статистике, информатике и логике считается круг Эйлера (диаграмма Эйлера-Венна), используемый для обозначения объема понятий и множеств элементов.
Джон Венн (1834-1923) - английский философ и логик, соавтор диаграммы Эйлера-Венна.
Совместимые и несовместимые понятия
Под понятием в логике подразумевается форма мышления, отражающая существенные признаки класса однородных предметов. Они обозначаются одним либо группой слов: «карта мира», «доминантовый квинтсептаккорд», «понедельник» и др.
В случае когда элементы объема одного понятия полностью или частично принадлежат объему другого, говорят о совместимых понятиях. Если же ни один элемент объема определенного понятия не принадлежит к объему другого, мы имеем место с несовместимыми понятиями.
В свою очередь, каждый из видов понятий имеет собственный набор возможных отношений. Для совместимых понятий это следующие:
- тождество (равнозначность) объемов;
- пересечение (частичное совпадение) объемов;
- подчинение (субординация).
Для несовместимых:
- соподчинение (координация);
- противоположность (контрарность);
- противоречие (контрадикторность).
Схематически отношения между понятиями в логике принято обозначать при помощи кругов Эйлера-Венна.
Отношения равнозначности
В данном случае понятия подразумевают один и тот же предмет. Соответственно, объемы данных понятий полностью совпадают. Например:
А - Зигмунд Фрейд;
В - основоположник психоанализа.
А - квадрат;
В - равносторонний прямоугольник;
С - равноугольный ромб.
Для обозначения используются полностью совпадающие круги Эйлера.
Пересечение (частичное совпадение)
А - педагог;
В - меломан.
Как видно из данного примера, объемы понятий частично совпадают: определенная группа педагогов может оказаться меломанами, и наоборот - среди меломанов могут быть представители педагогической профессии. Аналогичное отношение будет в случае, когда в А выступает, например, «горожанин», а в качестве В - «автоводитель».
Подчинение (субординация)
Схематически обозначаются как разные по масштабу круги Эйлера. Отношения между понятиями в данном случае характеризуются тем, что подчиненное понятие (меньшее по объему) полностью входит в состав подчиняющего (большего по объему). При этом подчиненное понятие не исчерпывает полностью подчиняющее.
Например:
А - дерево;
В - сосна.
Понятие В будет являться подчиненным по отношению к понятию А. Так как сосна относится к деревьям, то понятие А становится в данном примере подчиняющим, «поглощающим» объем понятия В.
Соподчинение (координация)
Отношение характеризует два и более понятия, исключающих друг друга, но принадлежащих при этом определенному общему родовому кругу. Например:
А - кларнет;
В - гитара;
С - скрипка;
D - музыкальный инструмент.
Понятия А, В, С не являются пересекающимися по отношению друг к другу, тем не менее, все они относятся к категории музыкальных инструментов (понятие D).
Противоположность (контрарность)
Противоположные отношения между понятиями подразумевают отнесенность данных понятий к одному и тому же роду. При этом одно из понятий обладает определенными свойствами (признаками), в то время как другое их отрицает, замещая противоположными по характеру. Таким образом, мы имеем дело с антонимами. Например:
А - карлик;
В - великан.
Круг Эйлера при противоположных отношениях между понятиями разделяется на три сегмента, первый из которых соответствует понятию А, второй - понятию В, а третий - всем остальным возможным понятиям.
Противоречие (контрадикторность)
В данном случае оба понятия представляют собой виды одного и того же рода. Как и в предыдущем примере, одно из понятий указывает на определенные качества (признаки), в то время как другое их отрицает. Однако, в отличие от отношения противоположности, второе, противоположное понятие, не заменяет отрицаемые свойства другими, альтернативными. Например:
А - сложная задача;
В - несложная задача (не-А).
Выражая объем понятий подобного рода, круг Эйлера разделяется на две части - третьего, промежуточного звена в данном случае не существует. Таким образом, понятия также являются антонимами. При этом одно из них (А) становится положительным (утверждающим какой-либо признак), а второе (В или не-А) - отрицательным (отрицающим соответствующий признак): «белая бумага» - «не белая бумага», «отечественная история» - «зарубежная история» и т. д.
Таким образом, соотношение объемов понятий по отношению друг к другу является ключевой характеристикой, определяющей круги Эйлера.
Отношения между множествами
Также следует различать понятия элементов и множества, объем которых отображают круги Эйлера. Понятие множества заимствовано из математической науки и имеет достаточно широкое значение. Примеры в логике и математике отображают его как некую совокупность объектов. Сами же объекты являются элементами данного множества. «Множество есть многое, мыслимое как единое» (Георг Кантор, основатель теории множеств).
Обозначение множеств осуществляется А, В, С, D… и т. д., элементов множеств - строчными: а, b, с, d…и др. Примерами множества могут быть студенты, находящиеся в одной аудитории, книги, стоящие на определенной полке (или, например, все книги в какой-либо определенной библиотеке), страницы в ежедневнике, ягоды на лесной поляне и т. д.
В свою очередь, если определенное множество не содержит ни одного элемента, то его называют пустым и обозначают знаком Ø. Например, множество точек пересечения множество решений уравнения х 2 = -5.
Решение задач
Для решения большого количества задач активно используются круги Эйлера. Примеры в логике наглядно демонстрируют связь с теорией множеств. При этом используются таблицы истинности понятий. Например, круг, обозначенный именем А, представляет собой область истинности. Таким образом, область вне круга будет представлять ложь. Чтобы определить область диаграммы для логической операции, следует заштриховать области, определяющие круг Эйлера, в которых ее значения для элементов А и В будут истинны.
Использование кругов Эйлера нашло широкое практическое применение в разных отраслях. Например, в ситуации с профессиональным выбором. Если субъект озабочен выбором будущей профессии, он может руководствоваться следующими критериями:
W - что я люблю делать?
D - что у меня получается?
P - чем я смогу хорошо зарабатывать?
Изобразим это в виде схемы: в логике - отношение пересечения):
Результатом станут те профессии, которые окажутся на пересечении всех трех кругов.
Отдельное место круги Эйлера-Венна занимают в математике при вычислении комбинаций и свойств. Круги Эйлера множества элементов заключены в изображении прямоугольника, обозначающего универсальное множество (U). Вместо кругов также могут использоваться другие замкнутые фигуры, но суть от этого не меняется. Фигуры пересекаются между собой, согласно условиям задачи (в наиболее общем случае). Также данные фигуры должны быть обозначены соответствующим образом. В качестве элементов рассматриваемых множеств могут выступать точки, расположенные внутри различных сегментов диаграммы. На ее основе можно заштриховать конкретные области, обозначив тем самым вновь образованные множества.
С данными множествами допустимо выполнение основных математических операций: сложение (сумма множеств элементов), вычитание (разность), умножение (произведение). Кроме того, благодаря диаграммам Эйлера-Венна можно проводить операции сравнения множеств по числу входящих в них элементов, не считая их.
Диаграммы Эйлера-Венна
Пример диаграммы Эйлера. B - живое существо, A - человек, C - неживая вещь.
Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер ( -) в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна ( -), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году . Поэтому такие схемы иногда называют Диаграммы Эйлера - Венна .
Примечания
Ссылки
Wikimedia Foundation . 2010 .
Смотреть что такое "Диаграммы Эйлера-Венна" в других словарях:
ДИАГРАММЫ ВEHHА графический способ задания и анализа логико математических теорий и их формул. Строятся путем разбиения части плоскости на ячейки (подмножества) замкнутыми контурами (кривьми Жордана). В ячейках представляется информация,… … Философская энциклопедия
Пример кругов Эйлера. Буквами обозначены, например, свойства: живое существо, человек, неживая вещь Круги Эйлера геометрическая схема, с помощью которой можно изобразить отношения … Википедия
Пример диаграммы Эйлера. B живое существо, A человек, C неживая вещь. Круги Эйлера геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в… … Википедия
Диаграмма Венна, показывающая все пересечения греческого, русского и латинского алфавитов (буквы заглавные) Диаграмма Венна … Википедия
Графический (геометрический, точнее топологический) аппарат математической логики (См. Логика). Идея Л. д. была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л.… … Большая советская энциклопедия
- (или принцип включений исключений) комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом … Википедия
Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико множественными операциями или сет операциями. В результате операций из исходных множеств получаются новые … Википедия
- (Carroll), настоящие имя и фамилия Чарлз Латуидж Доджсон (Dodgson) (1832 1898), английский писатель, математик и логик. В повестях сказках, продолжающих традицию гротескной «поэзии бессмыслиц», «Алиса в стране чудес» (1865) и «В Зазеркалье»… … Энциклопедический словарь
Книги
- Логикум: визуальная математика , Сухомлинова Т.. Данное пособие из серии "Интеллект-активити" предназначено для работы с учениками начальной школы 1-4 классов и направлено на развитие логического мышления и вычислительных навыков.. В…
Равенство множеств.
Множества А и В считаются равными, если они состоят из одних и тех же элементов.
Равенство множеств обозначают так: А = В .
Если множества не равны, то пишут А ¹ В .
Запись равенства двух множеств А = В эквивалентна записи А Ì В , или В Ì А .
Например, множество решений уравнения x 2 - 5x + 6 = 0содержит те же самые элементы (числа 2 и 3), что и множество простых чисел, меньших пяти. Эти два множества равны. (Простым числом называется натуральное число, которое делится без остатка только на 1 и на само себя; при этом 1 - простым числом не является.)
Пересечение (умножение) множеств.
Множество D , состоящее из всех элементов, принадлежащих и множеству А и множеству В , называется пересечением множеств А и В и обозначается D = А В.
Рассмотрим два множества: X = {0, 1, 3, 5} и Y = {1, 2, 3, 4}. Числа 1 и 3 и только они принадлежат одновременно обоим множествам Х и Y. Составленное из них множество {1, 3} содер-жит все общие для множеств Х и Y элементы. Таким образом, множество {1, 3} является пересечением рас-смотренных множеств Х и Y :
{1, 3} = {0, 1, 3, 5} {1, 2, 3, 4}.
Для отрезка [-1; 1] и интервала ]0; 3[ пересечением, т. е. множеством, состоящим из общих элементов, является промежуток ]0; 1] (рис. 1).
Рис. 1. Пересечением отрезка [-1; 1] и интервала ]0; 3[ является промежуток ]0; 1]
Пересечением множества прямоугольников и множества ромбов является множество квадратов.
Пересечение множества учеников восьмых классов данной школы и множества членов химического кружка той же школы есть мно-жество учеников восьмых клас-сов, являющихся членами хими-ческого кружка.
Пересечение множеств (и другие операции - см. ниже) хорошо иллюстрируется при наглядном изображении множеств на плоскости. Эйлер предложил для этого использовать круги. Изображение пересечения (выделено серым) множеств А и В при помощи кругов Эйлера представлено на рис. 2.
Рис. 3. Диаграмма Эйлера-Венна пересечения (выделено серым) множеств А и В , являющихся подмножествами некоторого универсума, изображённого в виде прямоугольника
Если множества А и В не имеют общих элементов, то гово-рят, что эти множества не пересекаются или что их пересечение - пустое множество, и пишут А В = Æ.
Например, пересечение множества чётных чисел с множеством нечётных чисел пусто.
Пустым является и пересечение числовых промежутков ]-1; 0] и -1; 0] и }
