Розділ «Тема 2. Логічний аналіз простих тверджень»

1) об'єкти, які є елементами обсягу першого імені, але не є елементами обсягу другого;

2) об'єкти, які є елементами обсягу другого імені, але не є елементами обсягу першого;

3) об'єкти, які є елементами обсягів обох імен.

Наприклад, 5 - хижак і Р - ссавець. Існують хижаки, які не є ссавцями, ссавці, які не є хижаками, та істоти, які є і хижаками, і ссавцями.

у зазначені вище відношення можуть вступати тільки ті імена, які мають спільне більш загальне ім'я - такі імена називають порівнюваними. Наприклад, імена стіл і справедливість не є несумісні: оскільки вони не мають спільного більш загального імені, то їх треба зачислити до непорівнюваних. Водночас щодо імен стіл і крісло можна ставити питання Яке між ними відношення обсягів? Ці імена належать до порівнюваних, оскільки мають спільне більш загальне ім'я - меблі.

Інструменти. Алгоритм визначення відношення між обсягами імен 4 (відношення між множинами)