1/14/2018 -- Beginners: Logical Negations

We rigorously defined the negation to a logical statement, and used that definition to explore contrapositives and proofs by contradiction.