Логика предикатов, Доказательства (Универсальное введение)

В этом видео рассматривается применение универсального введения (также известного как универсальное обобщение) для доказательств в логике предикатов. Я объясняю, как применяется это правило, и его ограничения.

Временные метки
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...