Словарь логики

ДИАГРАММЫ ВЕННА

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

  1. диаграммы венна—ДИАГРАММЫ ВЕННА геометрическое наглядное представление отношений между классами объемами понятий в булевой алгебре с помощью кругов или иных фигур. Д. В. были введены в ...Словарь по логике
  2. диаграммы венна—ДИАГРАММЫ ВЕННА ДИАГРАММЫ ВEHHА графический способ задания и анализа логикоматематических теорий и их формул. Строятся путем разбиения части плоскости на ячейки подмноже...Философская энциклопедия
  3. диаграммы венна—геометрич. точнее топологич. иллюстрация отношений между классами объемами понятий с помощью системы взаимно пересекающихся кругов или др. контуров введенная в конце в....Философская Энциклопедия (в 5 томах)