How do soundness and completeness relate to the tree test method of proof? This video is all about taking the general concepts of soundness and completeness and manipulating them, so that they are directly relevant to tree proofs. Using this as our starting point, we'll then prove soundness and completeness over the next few videos.

I talk through soundness and completeness in general here: [ Ссылка ]

00:00 - Intro
01:30 - Making proofs easier
02:10 - Prove the contrapositive
05:47 - Entailment and satisfiability
10:13 - Back to soundness and completeness
10:29 - When there’s no proof
12:52 - Trees test for (un)satisfiability
13:47 - Completeness
14:23 - Summary

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

свернуть