Law of Detachment

We discuss and prove the Law of Detachment is a tautology with a truth table. An introduction to formal proof incorporates the Law of Detachment, the Law of the Contrapositive, the Law of Double Negation, and DeMorgan's Laws. The Law of Simplification, which is also the axiom stating that when a conjunction is true, then both conjuncts must be true is also needed in a formal proof.

[rileyweiss]

Thank you for making logic proofs so simple and clear!

[rebeccasonn-lees]

This video was really helpful. It forced me to recall everything we'd learned and actually put it together.

[angelaw]

Thank you for the video, the proofs were explained really clearly!

[maahidab]

Thanks for the video! It was really clear and simple.

[odelyabp]

Thank you for the video, it was interesting to see how everything we’ve learned begins to be used together!

[peterchowla]

Thank you Ms. Basias! This video reminded me of all the other laws we learned, which was very useful.
-Juno

[hanaprokop]

Thank you. All the proofs were very clear.

[angelinayu]

Thank you for the video, it was really clear.

[leozhang]

(unoriginal first comment)
Great video, Ms. Basias!