Name: ___________________________________

1. Assign a truth value to the following statements

1+1 = 2 -> 3 + 1 = 5

2. 1 + 1 > 3 -> Dogs can fly

3. Determine whether the following two propositions are logically equivalent: p → (¬q ∧ r), ¬p ∨ ¬(r → q).

For questions 4 and 5, write the statement in the form “If …, then ….”

4. It is hot whenever it is sunny.

5. Studying is sufficient for passing.

6. Using c for “it is cold” and d for “it is dry”, write “It is neither cold nor dry” in symbols.

7. Using c for “it is cold” and w for “it is windy”, write “To be windy it is necessary that it be cold” in symbols.

In the questions 8 and 9, P(x,y) means “x + 2y = xy”, where x and y are integers. Determine the truth value of the statement.

8. P(1,−1).
A) True
B) False

9. P(0,0).
A) True
B) False

For questions 10, 11 and 12, suppose the variable x represents students and y represents courses, and:

U(y): y is an upper-level course M(y): y is a math course F(x): x is a freshman

B(x): x is a full-time student T(x,y): student x is taking course y.

Write the statement using these predicates and any needed quantifiers.

10. Eric is taking MTH 281.

 11. All students are freshmen.

12. Not every freshman is a full-time student.

13. Explain why an argument of the following form is not valid:

p→q
¬p
________
∴ ¬q

14. What is the rule of inference used in the following:

If it snows today, the university will be closed. The university will not be closed today. Therefore, it did not snow today.

15. Determine whether the following argument is valid. Name the rule of inference or the fallacy.
If n is a real number such that n > 1, then n2 > 1. Suppose that n2 > 1. Then n > 1.

16. Determine whether the following argument is valid. Name the rule of inference or the fallacy.
If n is a real number such that n > 2, then n2 > 4. Suppose that n ≤ 2. Then n2 ≤ 4.

17. Show that the premises “Jean is a student in my class” and “No student in my class is from England” imply the conclusion “Jean is
not from England”.

18. Show the premises "Everyone who read the textbook passed the exam", and "Ed read the textbook" imply the conclusion "Ed passed
the exam".

Use the following to answer questions 19 and 20. Use a Venn diagram to determine which relationship, ⊆, =, ⊇, is true for the pair of sets.

19. A ∪ B, A ∪ (B − A).

20. (A − B) ∪ (A − C), A − (B ∩ C).

21. There is a set A such that | P(A) | = 32

A) True
B) False

22. Suppose U = {1, 2,..., 9}, A = all multiples of 2, B = all multiples of 3, and C = {3, 4, 5, 6, 7}. Find C - (B - A).
Use the following to answer questions 23-29. Suppose A = {a,b,c}. Mark the statement TRUE or FALSE.

23. {b,c} ∈ P(A).

A) True
B) False

24. {{a}} ⊆ P(A).

A) True
B) False

25. ∅ ⊆ A.
A) True
B) False

26. {∅} ⊆ P(A).

A) True
B) False

27. ∅ ⊆ A × A.
A) True
B) False

28. {a,b} ∈ A × A.
A) True
B) False

29. (c,c) ∈ A × A.
A) True
B) False

For questions 30-32, determine whether the rule describes a function with the given domain and codomain. Explain your answer.

30. f : N → N where f (x) = x

31. h : R+ → R+ where h(x) = x (here R+ indicates the positive reals)

€

32. F : Z → R where F(x) = 1/(x2-5.)

€
33. Suppose f : N → N has the rule f(n) = 4n + 1. Determine whether f is 1-1. Is f onto?

34. Suppose f : N → N has the rule f(n) = 3n2 − 1. Determine whether f is 1-1 Is f onto?

35. Suppose f : Z → Z has the rule f(n) = n+2 . Determine whether f is 1-1 Is f onto?

Use the following to answer questions 36-37.

 In the questions below suppose g : A → B and f : B → C where A = {1,2,3,4}, B = {a,b,c}, C = {2,8,10}, and g and f are defined by
g = {(1,b),(2,a),(3,b),(4,a)} and f = {(a,8),(b,10),(c,2)}.

36. Find f o g.

37. Find f 1
−

38. Using the book's way of implementing sets using bitstrings. Consider the universal set { 1,2,3,4,5,6,7,8,9,10}

a) How would { 1, 3,4,5,6,8,9} be represented?

b) If A is represented by 1011110111 and B = 1001101111, display the representation of A intersect B and A – B.

c) What set does 0101110000 represent? (Make sure you use set notation)Answer Key - Untitled Exam-1