Section 3.2: Truth Tables and the Conditional

3.2 Outline

A.  Constructing truth tables
      1. fundamental operators (and, or, and not)
      2. truth table
      3. law of double negation
B. Conditional
      1. translation: if p, then q
      2. antecedent
      3. consequent
      4. uses
      5. definition
C. Translations for the conditional
      1. converse
      2. inverse
      3. contrapositive
      4. law of contraposition

3.2 Essential Ideas

Law of Double Negation

Law of Contraposition