Conditional

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