Исходная запись тех 4-х сегментов, про которые идет речь в вышеуказанном фрагменте

После применения диагонального метода

Доказательство дистрибутивности дизъюнкции в теории моделей

Доказательство дистрибутивности дизъюнкции в дедуктивной логике высказываний

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

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

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

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