Вообще, количество возможных отношений двух понятий равно количеству двухместных функций истинности, т.е. 16. Поэтому мы считаем обязательным включение в этот пересчёт так называемых вырожденных случаев: когда хотя бы одно из понятий пусто и даже когда универсум рассуждения - пустое множество.

Как видим, гносеологический и эпистемологический смысл далеко не очевиден...

В последней строке вышеприведенного фото ошибка в третьем столбце таблицы

Вышеприведенная таблица из 16 строк - взаимнооднозначное соответствие возможных отношений двух понятий и двухместных истинностных функций.

Сегодня попробую организовать видео-трансляцию здесь, на нашем канале. Тема Классификация простых категорических высказываний и особенности их записи в символизме Исчисления предикатов с многосортными предметными переменными.

Начнём в 18.00 мск.

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

Ок. Начнём в 18.00 мск.