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

Для графічним представленням всіх можливих об’єктів, які належать до деякого класу використовуються діаграми Вена. На рисунку 48 зображені діаграми Вена, для логічних операцій заперечення (випадок (а)), диз’юнкції (випадок (b)), кон’юнкції (випадок (с)).

Рис. 32. Діаграми Вена

Прямокутником в діаграмі Вена позначають область деякого класу об’єктів, а конкретний клас позначають кругом. Візьмемо для прикладу, клас тварин. Цей клас може візуалізуватися всіма об’єктами в межах прямокутника  плазуни, ссавці, риби, тощо. Якщо ми хочемо в межах класу представити, наприклад, ссавців, то подаємо всіх ссавців в межах круга, а інших тварин  зовні.

На рисунку 48 зображені діаграми Вена, для логічних операцій заперечення (випадок (а)), диз’юнкції (випадок (b)), кон’юнкції (випадок (с)).

Випадок (а) ілюструє операцію заперечення: область висловлення А позначено кругом, тоді ^А, за означенням, – область зовні круга. Якщо висловлення А набуває значення ІСТИНА, то ^А  ХИБА, і навпаки.

Заштрихована область випадку (b) вказує область висловлення AB, а випадку (с) ілюструє дію операції АВ.