четверг, 3 декабря 2015 г.

Решение содержательных логических задач с помощью кругов Эйлера/диаграмм Венна

Математическая справка. Диаграммы Эйлера-Венна используются прежде всего в теории множеств как схематичное изображение всех возможных пересечений нескольких множеств. В общем случае они изображают все 2n комбинаций n свойств.

Смысл логических связок становится более понятным, если проиллюстрировать их с помощью графической схемы – кругов Эйлера (диаграмм Эйлера-Венна).

Логическая связкаПример ПояснениеКруги Эйлера
& - “И”
(пересечение множеств)
Бабочки & МадагаскарРезультат операции "И": множество, включающее в себя только бабочек, обитающих на острове МадагаскарРис.1
| - “ИЛИ”
(объединение множеств)
Бабочки | МадагаскарРезультат операции "ИЛИ": множество всех бабочек и бабочек МадагаскараРис.2