Proof Trees for First-Order Logic | Worked Examples | Attic Philosophy

When you're learning proof trees for first-order logic, worked examples are your friends! In this video, I work through two examples: one without identity and one with. Background videos:

Proof trees for propositional logic: https://youtu.be/SChxyaksrPQ
Proof trees for first-order logic: https://youtu.be/7IPxvwzRv4k

00:00 - Intro
00:31 - [Link: FOL trees ]
00:54 - Example without identity
04:10 - Example with identity
04:56 - [AP video link def desc]
05:15 - Solution
07:56 - Wrap up

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: https://www.instagram.com/AtticPhilosophy
Twitter: https://twitter.com/PhilosophyAttic

#logic #philosophy #examples

Видео Proof Trees for First-Order Logic | Worked Examples | Attic Philosophy канала Attic Philosophy