# Logic and Proof

### Topics

## Introduction to :

When detectives Benson and Stabler search a suspect's apartment, they aren't looking for just anything to give to the prosecutor. They need solid, tangible, and legally obtained evidence. (Although "legally obtained" is more of a suggestion than a requirement on *Law and Order*.) The point is that no jury or judge will convict based on a hunch or a guess. They'll need proof.

Think of **proofs** as arguments. If you are debating with your parents over your curfew and your main point is that you're responsible enough to stay out late, it's important to have reasons supporting this claim. Just an FYI, now wouldn't be a good time to bring up that flashing red light you ran a couple sections back.

The ability to support your statements with reasons is the essence of effective debate, and is probably the most important skill to gain from studying geometry (and mathematics in general). It will help you to be a more convincing speaker and might just get your curfew pushed back an hour or five.

#### Example 1

What is the difference between a postulate and a theorem? |

#### Example 2

Complete the following proof. Given: |

#### Example 3

Complete the following proof. Given: |

#### Exercise 1

What is the reason for statement 7?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | ? |

#### Exercise 2

What is the reason for statement 8?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | ? |

#### Exercise 3

What is the reason for statement 9?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | ? |

#### Exercise 4

What is statement 11 given its reason?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | Multiplication Property (1) |

10. AB = BC | Substitution Property (9 and 2) |

11. ? | Division Property (10 and 6) |

#### Exercise 5

What is statement 12 given its reason?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | Multiplication Property (1) |

10. AB = BC | Substitution Property (9 and 2) |

11. | Division Property (10 and 6) |

12. ? | Substitution Property (11 and 5) |

#### Exercise 6

What is statement 13 given its reason?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | Multiplication Property (1) |

10. AB = BC | Substitution Property (9 and 2) |

11. | Division Property (10 and 6) |

12. | Substitution Property (11 and 5) |

13. ? | Multiplication Property (12) |

#### Exercise 7

What is the reason for statement 14?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | Multiplication Property (1) |

10. AB = BC | Substitution Property (9 and 2) |

11. | Division Property (10 and 6) |

12. | Substitution Property (11 and 5) |

13. | Multiplication Property (12) |

14. X = Z | ? |

#### Exercise 8

What is the reason for statement 15?

Given: *A* = *B*, *B* = *C*, *X* = *Y*, *Y* = *Z*, *H* = *G*, *G* ≠ 0

Prove:

Statements | Reasons |

1. A = B | Given |

2. B = C | Given |

3. X = Y | Given |

4. Y = Z | Given |

5. H = G | Given |

6. G ≠ 0 | Given |

7. A = C | Transitive Property (1 and 2) |

8. H ≠ 0 | Substitution Property (5 and 6) |

9. AB = BB | Multiplication Property (1) |

10. AB = BC | Substitution Property (9 and 2) |

11. | Division Property (10 and 6) |

12. | Substitution Property (11 and 5) |

13. | Multiplication Property (12) |

14. X = Z | Transitive Property (3 and 4) |

15. | ? |