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: [ Ссылка ]
Proof trees for first-order logic: [ Ссылка ]

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: [ Ссылка ]
My book What Truth Is: [ Ссылка ]
Most of my publications are available freely here: [ Ссылка ]

Get in touch on Social media!
Instagram: [ Ссылка ]
Twitter: [ Ссылка ]

#logic #philosophy #examples

свернуть