Math 3345  Foundations of Higher Mathematics
(Spring
2019)

For problem 17, you are not required to write the proof in the formal style of Example 2.24 and explicitly discharge assumptions, but your argument should be as efficient as possible and avoid cases (i.e. don’t analyze different possible combinations of truth values for P,Q,R separately, which effectively would be a proof by truth table).
Revised office hours (for rest of semester): Mondays 4:456:45pmHomework #2 (due Wednesday, January 30) p. 28 #1, parts (g) through (k) p. 31 #7 p. 35 #10 p. 36 #13 p. 37 #14, parts (g) and (h)
Homework #3 (due Wednesday, February 6) p. 41 #3 p. 43 #8 (b) and (c) [You may use part (a) without proving it.] p. 44 #10 (b) and (d) p. 45 #12 [You may assume that pi is irrational.] p. 46 #13 (a) and (b) p. 47 #16
Homework #4 (due Wednesday, February 13) Revised due date: Friday, February 15 (click on link for PDF file)
Homework #5 (due Wednesday, February 27) p. 60 #2 p. 61 #5 p. 62 #6, 7, 8
Midterm 1 on Wednesday, February 27 (in class) In addition to the “review problems” below, you should study the homework problems from the first four assignments and the examples discussed in class. (To answer two common questions: there is no need to memorize the list of tautologies, and induction won’t be on this exam.) (click on link for PDF file)
