Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Mar 1, 2012
Basic Methods: We define tautology and contradiction and consider the conditions of logical equivalence and implication. Examples include DeMorgan's Laws for logic, modus ponens, and the Law of the Excluded Middle. As a final note, we introduce the Substitution Rules.