В учебнике Шевелев, Ю. П. Дискретная математика : учебное пособие для вузов / Ю. П. Шевелев. — 5-е изд., стер. — Санкт-Петербург : Лань, 2024. — 592 с. — ISBN 978-5-507-49681-5. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/399194 (дата обращения: 28.11.2024). — Режим доступа: для авториз. пользователей" обнаружил следующие (на мой взгляд весьма сходные с моими) рассуждения:
Вообще, количество возможных отношений двух понятий равно количеству двухместных функций истинности, т.е. 16. Поэтому мы считаем обязательным включение в этот пересчёт так называемых вырожденных случаев: когда хотя бы одно из понятий пусто и даже когда универсум рассуждения - пустое множество.
Вышеприведенная таблица из 16 строк - взаимнооднозначное соответствие возможных отношений двух понятий и двухместных истинностных функций.
Сегодня попробую организовать видео-трансляцию здесь, на нашем канале. Тема Классификация простых категорических высказываний и особенности их записи в символизме Исчисления предикатов с многосортными предметными переменными.
Приближается время зачетно-экзаменационной сессии, в связи с этим планирую на сегодняшней трансляции разобрать решение типовых задач. В частности, у нас будут: 1) построение таблиц истинности для определения правильности рассуждения; 2) использование общих правил для определения правильности простого категорического силлогизма (семантический метод); 3) изображение отношений между понятиями на круговых схемах Эйлера и выполнение операций с их объемами.