Unformatted text preview: This is not correct. After applying universal instantiation, it contains the fallacy of denying the hypothesis. (b) All lobstermen set at least a dozen traps. Hamilton is a lobsterman. Therefore, Hamilton sets at least a dozen traps. This is correct, using universal instantiation and modus ponens. 3. Prove that if n is an integer and n 3 + 5 is odd, then n is even using (a) (10 points) an indirect proof. (b) (10 points) a proof by contradiction. Problem 21 on page 75. Answer on page S8 of the text book. 1...
View
Full Document
 Spring '08
 SaktiPramanik
 Computer Science, Logic, universal instantiation, dull boy, QUIZ5– Proofs ANSWERS

Click to edit the document details