Proof Exercise
-
Prove following statements using indirect proof.Premise 1: If Bob arrives on time for work, then he woke up on schedule.Premise 2: If he wakes up on time, then his alarm rang.Premise 3: If his alarm rings, then the power did not fail.Theorem: If the power fails, then Bob will be late for work.Given: The power fails.Prove: Bob will be late for work.Proof __________________________
| Statements |
Reasons |
- The power fails.
- Assume Bob arrives on time for work.
- He woke up on schedule.
- His alarm rang.
- The power did not fail.
- Given
- ____________________
- ____________________
- ____________________
- ____________________
|
