Доказательства в натуральной дедукции: практические примеры | Attic Philosophy

Как работают доказательства методом естественного вывода в логике? В этом видео я покажу вам, как это работает, на нескольких примерах доказательств. Это часть серии видеороликов, посвященных основам логики. Если есть темы, которые вы хотели бы увидеть, оставьте комментарий ниже! Вы можете поддержать канал и помочь ему развиваться, сделав пожертвование на моей странице Ko-fi: https://ko-fi.com/atticphilosophy 00:00 Вступление 00:42 Краткий обзор правил 01:10 Пример 1 03:57 Пример 2 05:25 Стратегия доказательства 08:31 Пример 3 10:41 Доказательство эквивалентности 11:21 Пример 4 14:21 Пример 5: Эквивалентность де Моргана 16:46 Важные логические эквивалентности 17:22 Заключение Больше о естественной дедукции: Доказательства в логике: https://www.youtube.com/watch?v=mNkWi8uIIhk Естественная дедукция: https://www.youtube.com/watch?v=mNkWi8uIIhk Правила для доказательств естественной дедукции: https://www.youtube.com/watch?v=dlUkeN7KqVA Ссылки: Моя страница по академической философии: http://markjago.net Моя книга «Что такое истина»: http://bit.ly/JagoTruth Большинство моих публикаций доступны бесплатно здесь: https://philpapers.org/s/Mark Jago Свяжитесь со мной в социальных сетях! #логика #доказательство #естественнаядедукция