Rewriting - Attic Philosophy

[@luyombojonathan6688]

Thanks for this work !! Cheers

[@AtticPhilosophy]

My pleasure!

[@jeannel1816]

Thank you so much for the awesome videos, keep up the great work

[@AtticPhilosophy]

Thanks, I'll try!

[@nou-kc1ws]

🤩🤩🤩

[@ncmorris1820]

Great video!

[@AtticPhilosophy]

Thanks!

[@alexnks280]

One thing I dont get is at 5:38 shouldnt we get: P∨((Q∨(R∧¬R))∧¬Q) instead of what is shown ? How do we get there

[@AtticPhilosophy]

Part of what you’ve got on the previous line is (p v q) ^ (p v ~q), which (using distribution, right-to-left direction) is equivalent to p v (q ^ ~q), which is itself equivalent to p, but that’s a further step.

[@rahuladrishyatirkey7810]

I also arrived at the same conclusion and don't know the way the teacher has deduced the equation at 5:38. Can anyone please explain?