5.10 Predicate Logic Trees

Introduction to the Basic Predicate Logic Tree Method
Please see www.ifpthenq.net for more info and online quizzes.

[@annaalexandrova6946]

Thank you for making this amazing course available to everyone!

[@jamieericlowe8190]

At 5:25 did you mean -Pa rather than -Pb?

[@jellologic]

I hadn't noticed this before, but yes, when I point out that the ~Pa branch is open after step 8, I say that Pb and ~Pb is not a contradiction. What I mean to say is that Pb and ~Pa is not a contradiction.