Учебник по модальной логике: как использовать деревья доказательств в модальной логике | Attic Ph...
Автор: Attic Philosophy
Загружено: 2020-02-09
Просмотров: 11373
Обучающее видео по использованию деревьев доказательств (семантических таблиц) в модальной логике от преподавателя философии доктора Марка Джаго.
В этом видео я расскажу, как использовать деревья доказательств в модальной логике. Я познакомлю вас с новыми правилами для модальных операторов и покажу, как давать доказательства в различных системах модальной логики (таких как K, KD, K45 и т. д.). Я также покажу вам, как строить контрмодели на основе готовых деревьев доказательств.
Это видео основано на моём введении в деревья доказательств:
• Logic tutorial: how to use proof trees | A...
У меня есть видео о предыстории деревьев в логике: • Logic tutorial: how Trees work in Logic | ...
Моя страница, посвящённая академической философии: http://markjago.net
Многие мои научные публикации доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago
Музыка и графика © Attic Philosophy 2020
#логика #философия #урок #деревьядоказательств #доказательства
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: