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

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

В этом видео рассматривается применение универсального введения (также известного как универсальное обобщение) для доказательств в логике предикатов. Я объясняю, как применяется это правило, и его ограничения. Временные метки 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...