Логика предикатов, Доказательства (Универсальное введение)
Автор: Logic & Philosophy
Загружено: 2017-04-04
Просмотров: 7089
Описание:
В этом видео рассматривается применение универсального введения (также известного как универсальное обобщение) для доказательств в логике предикатов. Я объясняю, как применяется это правило, и его ограничения.
Временные метки
00:00 Введение
2:00 Ограничения
8:35 Примеры
11:58 Обзор
_________________________________________________
• Символическая логика: синтаксис, семантика и доказательство (Amazon): https://amzn.to/2RX7ALb
• ПОДПИШИТЕСЬ на мой канал, чтобы смотреть больше видео: https://goo.gl/ukVPLo
• Подпишитесь на меня в Твиттере: / davidagler
• Сайт логики: http://davidagler.com/teaching/logic....
______________________________________________________________________
Предыдущие видео:
Логика предикатов, доказательства (Введение): • Predicate Logic, Proofs (Introduction)
Логика предикатов, доказательства (Универсальное исключение): • Predicate Logic, Proofs (Universal Elimina...
Логика предикатов, доказательства (Экзистенциальное введение): • Predicate Logic, Proofs (Existential Intro...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
