Truth Tables
- Talk about addition table.
- Truth table for not.
-
- Truth table for and
-
| p | q | p ∧ q |
|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
- Truth table for or
-
| p | q | p ∨ q |
|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
- Do problems 5-20 page 122
- Do problems 22-28 page 123
- Do problems 31-42 page 123
- Conditional
-
| p | q | p → q |
|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
- If you get an A, then I will buy you a car.
- Biconditional
-
| p | q | p ↔ q |
|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
- Do 7 - 26 page 133
- A self contradiction is a compound statement that is always false.
- (p ↔ q) ∧ (p ↔ ∼q)
- A tautology is a compound statement that is always true.
- (p ∧ q) → (p ∨ r)
- An Implication is a conditional statement that is a tautology.
- Do 33-56 page 134