Как строить контрмодели из деревьев доказательств | Логика первого порядка | Аттическая философия

Как построить контрмодели на основе деревьев первого порядка? Вы можете построить модель на основе любой готовой открытой ветви дерева доказательств. Эта модель будет удовлетворять предпосылкам и отрицанию заключения, а значит, будет контрмоделью для вывода, который вы проверили с помощью дерева. В этом видео я покажу вам, как построить модель. 00:00 — Введение 00:54 — Модели на основе открытых ветвей 02:17 — Пример без тождества 04:31 — Построение модели 05:32 — Интерпретация констант 06:31 — Интерпретация предикатов 09:41 — Пример с тождеством 12:58 — Подробнее о предметной области Если есть тема, которую вы хотели бы рассмотреть, оставьте комментарий ниже. Ссылки: Моя страница, посвящённая академической философии: http://markjago.net Моя книга «Что такое истина»: http://bit.ly/JagoTruth Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago Свяжитесь со мной в социальных сетях! Instagram:   / atticphilosophy   Twitter:   / philosophyattic   #логика #философия