Natural Deduction for Quantifiers - Worked Examples | Attic Philosophy

Описание: In this tutorial video, we look at two examples of how to use the rules for quantifiers in First-Order Natural Deduction. Make sure you've watched Natural Deduction for Quantifiers first:    • Natural Deduction for Quantifiers | Attic ...  

00:00 - Intro
00:29 - Recap
01:00 - Rules for quantifiers
01:24 - Universal introduction
01:48 - Example: Universal Introduction
04:02 - Existential Elimination
05:04 - Example: Existential Elimination
07:30 - Wrap-up

Related videos:

Natural Deduction for Quantifiers    • Natural Deduction for Quantifiers | Attic ...  
Proofs in Logic    • Proofs in Symbolic Logic | Attic Philosophy  
How to do Natural Deduction Proofs    • How to do Natural Deduction Proofs | Attic...  
Rules for Natural Deduction    • Rules for Natural Deduction | Attic Philos...  
How to use Quantifiers    • How to use Quantifiers | Symbolic Logic Tu...  

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