This preview shows page 1. Sign up to view the full content.
Unformatted text preview: This is not correct. After applying universal instantiation, it con-tains the fallacy of denying the hypothesis. (b) All lobstermen set at least a dozen traps. Hamilton is a lobster-man. 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 S-8 of the text book. 1...
View Full Document
This note was uploaded on 06/08/2009 for the course CSE 260 taught by Professor Saktipramanik during the Spring '08 term at Michigan State University.
- Spring '08
- Computer Science