MATH 311W Quiz: Math 311w quiz05
Document Summary
Instructions: clearly answer each of the questions below. Remember to check the back side if blank, you can use it for scrap work. Show your work and any formulas you employ. Math 311, quiz 5: translate the following sentence into its symbolic predicate logic form: for every integer x, there exists a natural number y such that x2 = y. Answer: x z y n(x2 = y: given the sets a = {1, 2, 3, 4}, b = {1, 2, 5, 6}, and c = {1, 3, 5, 7}, nd (a\c) b. Answer: no, 4 appears in two elements, so the elements are not disjoint. (b) {{1, 4, 8}, {2, 9}}. The elements don"t overlap, and their union gives us back {1, 2, 4, 8, 9}. (c) {{4, 8}, {2, 9}}. Answer: {(7, a), (5, a), (a, a), (7, b), (5, b), (a, b): fill in the blanks.
