Section 3.2: Truth Tables and the Conditional

by

3.2 Outline

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

3.2 Essential Ideas

Law of Double Negation

3.2.3 Law of Contraposition

A conditional may always be replaced by its contrapositive without having its truth value affected.