Many people go about natural deduction proofs the wrong way, using the wrong strategy, and get struck in the middle. I'll show you a better approach to natural deduction proofs, which, with a simple change in the strategy, will make it much easier for you to complete proofs.
You can support the channel and help it grow by contributing on my Ko-fi page: Ko-fi.com/atticphilosophy
00:00 - Intro
00:20 - How not to do natural deduction
01:06 - Example question
02:05 - Why top-down doesn’t work
02:30 - The right way to do natural deduction
02:58 - Finishing the example
04:16 - Using the assumptions
05:25 - Bottom-up reasoning
05:59 - Going further
If there’s a topic you’d like to see covered, leave me a comment below.
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Twitter: / philosophyattic
#philosophy #logic #proof
24 июл 2024