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

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

Диаграмма Венна — схематичное изображение всех возможных пересечений нескольких (часто — трёх) множеств. Если пересечения позволяется указывать не все, получается более общий случай — круги Эйлера.

Диаграммы Эйлера — Венна (как их ещё называют) изображают все комбинаций свойств, то есть конечную булеву алгебру. При диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.

Пример получения произвольных кругов Эйлера из диаграмм Венна с пустыми (чёрными) множествами.

Они появились в сочинениях английского логика Джона Венна (1843—1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году.

Ссылки

Weisstein, Eric W. «Диаграмма Венна» (англ.) на сайте Wolfram MathWorld.
Эпизод 412 сериала Numb3rs — изображение диаграмм Венна для .
Построение диаграмм Венна on-line для и исходный код.

Логика

Формальная

Логические операции с понятиями

Изменение содержания понятия: отрицание • ограничение • обобщение • деление
Изменение объёма понятия: сложение • умножение • вычитание
Типы: Многозначная логика • Бинарная логика

Законы: Закон обратного отношения между содержанием и объёмом понятия

Математическая
(теоретическая,
символическая)

Логические связки (операции) над высказываниями

Высказывание - построение над множеством {B, , , , 0, 1}
В - непустое множество, над элементами которого определены три операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)

2 константы: 0 • 1

См. также

импликация () • Круги Эйлера/Диаграмма Венна • Теория множеств

Light-industry-up.ru

Экосистема промышленности

Публикации

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

Ссылки