ERRATA: At 50:51, I misspeak and use the wrong citation in the proof.Line (2) uses Contraposition (CON), not Material Implication (MI).This video explains the first set of the Equivalence Rules.Spanish Summer by Audionautix is licensed under a Creative Commons Attribution license (https://creativecommons.org/licenses/...)Artist: http://audionautix.com/