Надежность и полнота деревьев доказательств | Attic Philosophy

Описание: Как корректность и полнота связаны с методом проверки дерева доказательств? В этом видео мы рассмотрим общие понятия корректности и полноты и изменим их так, чтобы они имели прямое отношение к доказательствам с помощью дерева. Используя это в качестве отправной точки, мы докажем корректность и полноту в следующих нескольких видео.

Я расскажу о корректности и полноте в целом здесь:    • Soundness and Completeness Tutorial | Atti...  

00:00 — Введение
01:30 — Упрощение доказательств
02:10 — Доказательство контрапозиции
05:47 — Вывод и выполнимость
10:13 — Возвращение к корректности и полноте
10:29 — Когда нет доказательства
12:52 — Проверка (не)выполнимости с помощью деревьев
13:47 — Полнота
14:23 — Краткое содержание

Если есть тема, которую вы хотели бы рассмотреть, оставьте комментарий ниже.

Ссылки:

Моя страница, посвящённая академической философии: http://markjago.net
Моя книга «Что такое истина»: http://bit.ly/JagoTruth
Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark%20Jago

Свяжитесь со мной в социальных сетях!
Instagram:   / atticphilosophy  
Twitter:   / philosophyattic  

#логика #философия