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

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

- графический способ изображения формул математич. логики, прежде всего формул исчисления высказываний. В. д. ппеременных классич. логики высказываний представляет собой такой набор замкнутых контуров (го-меоморфных окружностям), к-рый разбивает плоскость на областей, причем нек-рые из этих областей (например, ) отмечены. Каждой отмеченной области ставится в соответствие формула есть , если лежит внутри контура , и есть в противном случае. Диаграмме в целом соответствует формула Напр., В. д., изображенной на рис., соответствует формула


Если отмеченных областей нет , то диаграмме сопоставляется тождественно ложная формула, напр. В логике высказываний В. д. используются для решения проблемы разрешения, проблемы вывода всех возможных попарно неэквивалентных логич. следствий из данных посылок и др. Логика высказываний может быть построена в виде операций над В. д., сопоставленных логич. операциям.



Аппарат диаграмм был предложен Дж. Венном [1] для решения задач логики классов. Метод В. д. распространен на классич. исчисление многоместных предикатов. В. д. находят применение в приложениях математич. логики и тео-рпп автоматов, в частности для решения задач теории нейронных сетей.

Лит.[1] Venn J., Symbolic logic, 2 ed., L., 1894; [2] Кузичев А. С., Диаграммы Венна, М., 1968.

А. С. Кузичев.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "ВЕННА ДИАГРАММА" в других словарях:

  • Диаграмма Венна — Диаграмма Венна, показывающая все пересечения греческого, русского и латинского алфавитов (буквы заглавные) Диаграмма Венна …   Википедия

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

  • диаграмма Венна — Иллюстрирующая логические операции и операции булевой алгебры Boolean algebra [http://slovarionline.ru/anglo russkiy slovar neftegazovoy promyishlennosti/] Тематики нефтегазовая промышленность EN Venn diagram …   Справочник технического переводчика

  • ДИАГРАММА ЭЙЛЕРА — ДИАГРАММА ЭЙЛЕРА, простая диаграмма, используемая в логике для демонстрации силлогизмов. Классы предметов изображаются в виде кругов, и утверждения типа «Некоторое а находится в b» представляется двумя пересекающимися кругами, представляющими а и …   Научно-технический энциклопедический словарь

  • Диаграмма Эйлера — Пример диаграммы Эйлера. B  живое существо, A  человек, C  неживая вещь. Круги Эйлера[1]  геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в… …   Википедия

  • диаграмма Венна — Venn o diagrama statusas T sritis automatika atitikmenys: angl. Venn diagram vok. Venn Diagramm, n rus. диаграмма Венна, f pranc. diagramme de Venn, m ryšiai: sinonimas – Veno diagrama …   Automatikos terminų žodynas

  • Диаграммы Венна — Пример диаграммы Эйлера. B  живое существо, A  человек, C  неживая вещь. Круги Эйлера[1]  геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в… …   Википедия

  • Диаграммы Эйлера—Венна — Пример диаграммы Эйлера. B  живое существо, A  человек, C  неживая вещь. Круги Эйлера[1]  геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в… …   Википедия

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

  • Круги Эйлера — Пример кругов Эйлера. Буквами обозначены, например, свойства:   живое существо,   человек,   неживая вещь Круги Эйлера[1]  геометрическая схема, с помощью которой можно изобразить отношения …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»