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