Диаграммы Венна - это...

Диаграммы Венна - геометрическое наглядное представле­ние отношений между классами (объемами понятий) в буле­вой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном. Элемент 1 булевой алгебры представляется как универсаль­ный класс, или рассматриваемая предметная область; ее мож­но изображать в виде квадрата. Элементу 0 соответствует пустой класс. Некоторый непустой класс А представляется в виде круга, включенного в предметную область. То, что лежит за пределами класса A, является его дополнением А: Сумма двух классов A e В представляется в виде объединения изоб­ражающих их кругов: Произведение двух классов AcВ представляется в виде общей ча­сти изображающих их кругов: Допустим теперь, что нам нужно с помощью Д. В. наглядно представить класс Ae(BcС). Сначала образуем класс ВcС, ко­торый представляет собой общую часть классов В и С, а затем к этой общей части добавляем весь класс A и в итоге получаем: Д. В. используются для наглядной иллюстрации справедливости аксиом и теорем булевой алгебры, а также для представления от­ношений между объемами понятий.