Introduction
  • Introduction Lecture
Propositional Logic
  • Statements
  • Conjunction and Disjunction
  • Conditional and Biconditional
  • Statement Forms
  • Problem Set: Statement Forms
  • Logical Equivalence
  • Problem Set: Logical Equivalence
  • Tautology and Contradiction
  • Problem Set: Tautology and Contradiction
  • Logical Equivalences
  • Problem Set: Logical Equivalences
  • Arguments
  • Problem Set: Arguments
  • Rules of Inference
  • Rules of Inference and Constructing Arguments
  • Problem Set: Rules of Inference
Predicate Logic
  • Predicate Calculus
  • Finding the Truth-set of a Predicate
  • Problem Set: Truth-set
  • Universal Quantifier
  • Existential Quantifier
  • Universal Conditional Statement
  • Problem Set: Quantifiers
  • Negations and Quantified Statements
  • Problem Set: Negations and Quantified Statements
  • Multiple Quantifiers
  • Negations and Multiply-Quantified Statements
  • Problem Set: Multiple Quantifiers
  • Rules of Inference Involving Universal Quantifier
  • Rules of Inference Involving Existential Quantifier
  • Problem Set: Rules of Inference Involving Quantifiers
  • Constructing Arguments Involving Quantified Statements
  • Problem Set: Constructing Arguments Involving Quantified Statements
Proofs
  • Methods of Proof
  • Proving Universal Statements
  • Problem Set: Methods of Proof
  • Proof by Contradiction
  • Proof by Contraposition
  • Problem Set: Proofs by Contradiction and by Contraposition
Mathematical Induction
  • Mathematical Induction
  • Problem Set: Mathematical Induction
  • Strong Induction
  • Strong Induction: Example
  • Strong Induction: Additional Example
  • Problem Set: Strong Induction
Concluding Letter
  • Concluding Letter
  • Bonus Lecture