Таблиця віднімання понять

Види відношень між поняттями	Вихідні поняття	Результат віднімання у формальному вигляді	Результат віднімання понять у діаграмах Ейлера.
Тотожні	А — автор Кобзаря В — Т.Г.Шевченко	А - В = Æ
Підпорядковані	А — місто В — столиця	А — В = А'
Перехресні (перетину)	А — студент В — спортсмен	А — В = А'
Співпідпорядко вані	А — суддя В — прокурор С — юрист	А — В = А
Протилежні	А — суспільна власність В — приватна власність	А — В = А
Суперечні	А — феодальний засіб виробництва В — не феодальний засіб виробництва	А — А' = А

Рис. 12

Доповнення до класу операція, суть якої полягає в тому, що заперечується вихідне поняття А, в результаті чого утворюється нове поняття , обсяг якого складається з тих елементів, які не належать вихідному поняттю (рис. 13).

 

Рис. 13

 

1 – Ссавці;

А – кити;

- усі ссавці, які не є китами.