Propositional Logic Truth Trees (and, or, not)

[@T-The-K]

This one took me a bit longer to fully grasp, a lot of rewinding but i figured out everything (hopefully) so looking forward to the excercises!

[@flirkvslife2385]

I don’t understand why we’re branching out from ~R, and also, why did we put P Q instead of P R in the branch? On top of that, I also don’t get why Q branches into P AND R!!

[@QuocDatPhung]

This is amazing!

[@jeremiahsilva7458]

I'm too dumb to get it.

[@DarrenMcStravick]

@@jeremiahsilva7458 Wrong.

[@salmanizzadin]

📝

[@stephaniew7501]

Where is the solution video?

[@lucarius4465]

In our class we call the NCD and the NDD 'The Morgan'. I quite prefer that name over this spaghetti alternative xD

[@paulcarello6390]

1) (P ∨ Q) ∧ (P ∨ R) ⇔ (P ∨ Q) ∧ ~(~P ∧ ~R) ... De Morgans ∴ (P ∨ Q) and ~(~P ∧ ~R) ... ∧ deconstruction 2) (~P ∧ ~R) From 1 and 2 ~(~P ∧ ~R) is TRUE and (~P ∧ ~R) is TRUE ... this is a contradiction ∴ 1 and 2 are NOT consistent.