MATH 240 Midterm: 2002 Math 240 - Spring Exam 1
Document Summary
No notes, no books, no calculator, no cell phones, no pagers, no electronic devices at all. Solutions will be posted shortly after the exam: www. math. wisc. edu/ miller/m240. 2: (6 pts) show that p q and ( q) ( p) are logically equivalent, (6 pts) construct a truth table for the following propositional sentence: (p q) (p r) 3: (6 pts) find a statement which is logically equivalent to. [ ( x p (x)) ( y q(y)) ] but in which the negation sign appears (if at all) only in front of the predicate symbols: (6 pts) let a = {1, 2} and b = {1, 3, 5}. 4: (6 pts) let a = {1, 3, 4}, b = {2, 4}, and c = {3, 4, 5, 6}. Find (a) |a| (b) b \ c (c) (a b) c: (6 pts) let f : r r be de ned by f (x) = x .