The Nature of Mathematics, 12th Edition
Home
about dr. smith
glossary
transparencies
other books

Chapter1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Chapter 9
Chapter 10
Chapter 11
Chapter 12
Chapter 13
Chapter 14
Chapter 15
Chapter 16
Chapter 17
Chapter 18
group projects
individual projects
links by topic

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