Вообще, количество возможных отношений двух понятий равно количеству двухместных функций истинности, т.е. 16. Поэтому мы считаем обязательным включение в этот пересчёт так называемых вырожденных случаев: когда хотя бы одно из понятий пусто и даже когда универсум рассуждения - пустое множество.
Вышеприведенная таблица из 16 строк - взаимнооднозначное соответствие возможных отношений двух понятий и двухместных истинностных функций.
Сегодня попробую организовать видео-трансляцию здесь, на нашем канале. Тема Классификация простых категорических высказываний и особенности их записи в символизме Исчисления предикатов с многосортными предметными переменными.
Приближается время зачетно-экзаменационной сессии, в связи с этим планирую на сегодняшней трансляции разобрать решение типовых задач. В частности, у нас будут: 1) построение таблиц истинности для определения правильности рассуждения; 2) использование общих правил для определения правильности простого категорического силлогизма (семантический метод); 3) изображение отношений между понятиями на круговых схемах Эйлера и выполнение операций с их объемами.