How to get really good at logic | Proof trees | Attic Philosophy

If you want to get good at logic, the secret is to work through loads and loads of examples! In this video, I walk you through two worked examples of proof trees for propositional logic. The first is simple and the second just a little bit more involved. 00:00 - Intro 01:15 - Example 1 01:51 - Answer 1 03:06 - Example 2 04:58 - The Distribution Axiom 05:49 - Answer 2 09:16 - Avoiding new open branches 10:36 - 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:   / atticphilosophy   Twitter:   / philosophyattic   #logic #philosophy