Formal Proof (Proof by Contradiction)
Channel: Carson Cook
Date: 2017-05-28

Proving P v ~P by contradiction.

Wikipedia article on rules of inference: https://en.wikipedia.org/wiki/List_of_rules_of_inference