Диаграммы Венна

ДИАГРАММЫ ВЕННА — графический способ задания и анализа логико-математических теорий и их формул. Строятся путем разбиения части плоскости на ячейки (подмножества) замкнутыми контурами (кривыми Жордана). В ячейках представляется информация, характеризующая рассматриваемую теорию или формулу. Цель построения диаграмм не только иллюстративная, но и операторная — алгоритмическая переработка информации. Аппарат диаграмм Венна обычно используется вместе с аналитическим.

Способ разбиения, количество ячеек, а также проблемы записи в них информации зависят от рассматриваемой теории, которая тоже может вводиться (описываться) графически — некоторыми диаграммами Венна, задаваемыми первоначально, в частности, вместе с алгоритмами их преобразований, когда одни диаграммы могут выступать как операторы, действующие на другие диаграммы. Например, в случае классической логики высказываний для формул, составленных из п различных пропозициональных переменных, часть плоскости (универсум) делится на 2" ячеек, соответствующих конституэнтам (в конъюнктивной или в дизъюнктивной форме). Диаграммой Венна каждой формулы считается такая плоскость, в ячейках которой ставится (или не ставится) звездочка *. Так, формулу

(¬ а& ¬ b&c) V (а&¬ b&c) V (¬ a&b&¬ c)

с тремя пропозициональными переменными a, b и c определяет диаграмма, изображенная на рисунке, где звездочки в ячейках соответствуют конъюнктивным составляющим этой совершенной нормальной дизъюнктивной формулы. Если отмеченных звездочками ячеек нет, то диаграмме Венна сопоставляется, напр., тождественно ложная формула, скажем (a&¬ a).

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

1. При n = 1, 2, 3 очевидным образом используются окружности. (На приведенном рисунке n = 3.)

2. Предположим, что при n = k (k ≥ 3), указано такое рас-положение к фигур, что плоскость разделена на 2k ячеек.

Тогда для расположения k+1 фигуры на этой плоскости достаточно, во-первых, выбрать незамкнутую кривую (ср без точек самопересечения, т.е. незамкнутую кривую Жордана, принадлежащую границам всех 2k ячеек и имеющую с каждой из этих границ только один общий кусок. Во-вторых, обвести φ замкнутой кривой Жордана Ψ k+1 так, чтобы кривая Ψ k+1 проходила через все 2k ячейки и пересекала границу каждой ячейки только два раза. Таким образом получится расположение n= k+1 фигур такое, что плоскость разделится на 2k+1 ячеек.

Для представления других логико-математических теорий метод венновских диаграмм расширяется. Сама теория записывается так, чтобы выделить элементы ее языка в пригодной для графического изображения форме. Напр., атомарные формулы классической логики предикатов записываются как слова вида P(Y1..Yr), где P — предикатная, а Y1,..., Yr — предметные переменные, не обязательно различные; слово Y1,..., Yr — предметный инфикс. Очевидный теоретико-множественный характер диаграмм Венна позволяет представлять и исследовать с их помощью, в частности, теоретико-множественные исчисления, напр., исчисление ZF теории множеств Цермело-Френкеля. Графические методы в логике и математике развивались издавна. Таковы, в частности, логический квадрат, круги Эйлера и оригинальные диаграммы Л. Кэрролла. Однако метод диаграмм Венна существенно отличается от известного метода кругов Эйлера, используемого в традиционной силлогистике. В основе венновских диаграмм лежит идея разложения булевской функции на конституэнты — центральная в алгебре логики, обуславливающая их оперативный характер. Свои диаграммы Венн применял прежде всего для решения задач логики классов. Его диаграммы можно эффективно использовать и для решения задач логики высказываний и предикатов, обзора следствий из посылок, решения логических уравнений, а также других вопросов, вплоть до проблемы разрешимости. Аппарат диаграмм Венна находит применение в приложениях математической логики и теории автоматов, в частности при решении задач, связанных с нейронными цепями и проблемой синтеза надежных схем из относительно мало надежных элементов.

А. С. Кузичев

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 645.

Литература:

Venn J. Symbolic logic. L., 1881. Ed. 2, rev. L., 1894;

Кузичев А. С. Диаграммы Венна. История и применения. М., 1968;

Он же. Решение некоторых задач математической логики с помощью диаграмм Венна. — В кн.: Исследование логических систем. М., 1970.