# Logic and Proof

### Exercises

#### 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) |

Advertisement

Advertisement

Advertisement