Natural Deduction for Quantifiers | Attic Philosophy

In this tutorial video, we look at how to use the rules for quantifiers First-Order Natural Deduction. We'll go over examples in the next video:    • Natural Deduction for Quantifiers - W...  

00:00 - Intro
00:33 - Recap
01:11 - Rules for PL
01:52 - Universal elimination
03:17 - Existential introduction
05:54 - Universal introduction
12:08 - Existential elimination
16:15 - Wrap up

Related videos:

Proofs in Logic    • Proofs in Symbolic Logic | Attic Phil...  
How to do Natural Deduction Proofs    • How to do Natural Deduction Proofs | ...  
Rules for Natural Deduction    • Rules for Natural Deduction | Attic P...  
How to use Quantifiers    • How to use Quantifiers | Symbolic Log...  

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