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