Natural Deduction Proofs: practise examples | Attic Philosophy

How do Natural Deduction proofs work in logic? In this video, I show you how it works by going through some example proofs. This is part of a series of videos introducing the basics of logic. If there’s topics you’d like covered, leave me a comment below!

You can support the channel and help it grow by contributing on my Ko-fi page:
https://ko-fi.com/atticphilosophy

00:00 intro
00:42 recap of the rules
01:10 example 1
03:57 example 2
05:25 Proof Strategy
08:31 example 3
10:41 proving equivalence
11:21 example 4
14:21 example 5: de Morgan equivalence
16:46 important logical equivalences
17:22 wrap up

More on natural deduction:

Proofs in Logic:    • How to do Natural Deduction Proofs | ...  
Natural Deduction:    • How to do Natural Deduction Proofs | ...  
Rules for Natural Deduction proofs:    • Rules for Natural Deduction | Attic P...  

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 #proof #naturaldeduction