HOMEWORK POLICIES

Solutions to Homework #9, Problems 1-22 (not 15, 17 or 21) Problem 1. ... and this is a conditional, we want to start out by assuming the antecedent (B). Now that we have assumed (for different reasons) A and B, we know A ( B. C follows from this and our initial assumption (A ( B) ( C by modus ponens. Since we have proven C by assuming B, we ... ................
................