## 3.2 Outline

- Constructing truth tables
- fundamental operators (
*and*,*or*, and*not*) - truth table
- law of double negation

- fundamental operators (
- Conditional
- translation:
*if p, then q* - antecedent
- consequent
- uses
- definition

- translation:
- Translations for the conditional
- converse
- inverse
- contrapositive
- law of contraposition

## 3.2 Essential Ideas

**Law of Double Negation**

**Law of Contraposition**

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