Natural Deduction or Proof Trees? Which is best? | Attic Philosophy
Автор: Attic Philosophy
Загружено: 2022-01-29
Просмотров: 4269
Описание:
What is the best way to do proofs in logic: natural deduction or proof trees? In this video, I go through 2 examples, doing each one first as a proof tree and then in natural deduction, and comparing the results. At the end, I share my thoughts on which system is best. Spoiler alert: they’re each good for different things, and it’s good to learn both! Which system do you prefer? Let me know in the comments!
00:00 - Intro
01:21 - Example 1: proof tree
02:13 - Example 1: Natural Deduction
05:20 - Example 2: proof tree
07:37 - Example 2: Natural Deduction
09:06 - Comparing the proofs
10:52 - My view
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: http://markjago.net
My book What Truth Is: http://bit.ly/JagoTruth
Most of my publications are available freely here: https://philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#logic #philosophy
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Цепи Маркова — математика предсказаний [Veritasium]](https://imager.clipsaver.ru/QI7oUwNrQ34/max.jpg)
