Introduction to common derived rules in propositional logic.
Please see www.ifpthenq.net for more info and online quizzes.
Table of Contents:
02:59 - Double Negation
05:07 - DeMorgan's & Arrow Exchange
17:23 - Modus Tollens
26:17 - Disjunctive Argument
