Scribd
Upload
95 views

Math 230 Exam 1, Spring 2009

This document appears to be a math exam for a course called Math 230. It contains 16 multiple choice and short answer questions testing concepts of logic, sets, and proofs. The questions cover topics like logical equivalence, truth tables, quantifiers, Venn diagrams, and set operations. Students are asked to show their work, prove statements, and determine logical relationships between mathematical expressions.

Uploaded by

virpara
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
95 views

Math 230 Exam 1, Spring 2009

This document appears to be a math exam for a course called Math 230. It contains 16 multiple choice and short answer questions testing concepts of logic, sets, and proofs. The questions cover topics like logical equivalence, truth tables, quantifiers, Venn diagrams, and set operations. Students are asked to show their work, prove statements, and determine logical relationships between mathematical expressions.

Uploaded by

virpara
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 6

Math 230-01 Exam 1, March 4, 2009 1

PRINT Last name: First name:

Signature: Student ID:

Math 230 Exam 1, Spring 2009

1. (8pts) Determine whether or not p → (q → r) is logically equivalent to (p → q) → r. Show your


work or carefully describe your argument.

2. (8pts) For which rows of the truth table is the compound proposition (p ⊕ q) → (q ↔ r) false?

p q r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F

3. (6pts) The original statement is “If 1 + 1 = 3 then 2 + 2 = 4.” Circle the correct truth value of
each of the following statements:
Contrapositive of the original statement ( True / False )
Converse of the original statement ( True / False )
Inverse of the original statement ( True / False )
Math 230-01 Exam 1, March 4, 2009 2

4. (4pts) Write the negation of the following statement (Do not write “It is not the case that ...”).
“I will go to the movies or read a book but not both.”

5. (4pts) Is the following argument valid? (Circle Yes / No )


p→q
¬p
∴ ¬q

6. (4pts) Is the following argument valid? (Circle Yes / No )


p → ¬q
q
∴ ¬p

7. (8pts) Among these 5 propositions are exactly 1 tautology and exactly 1 contradiction. Write
T next to the tautology. Write F next to the contradiction. Do nothing for the rest of the
propositions.
(a) p ∨ q ∨ r
(b) p ∨ (p ∧ ¬q) ∨ ¬p
(c) p ∨ (q ∧ r)
(d) q → ¬q
(e) (p ↔ q) ∧ (¬p ↔ q)

8. (8pts) Define P (x, y) to be the predicate “x + 2y = xy”. Circle the truth value of the following
statements. (Recall that Z is the set of integers.)
( True / False ) (a) P (0, 2)
( True / False ) (b) P (1, −1)
( True / False ) (c) ∃y ∈ Z P (3, y)
( True / False ) (d) ∀y ∈ Z ∃x ∈ Z P (x, y)

9. (5pts) Write the negation of the following proposition so that (i) All quantifiers are to the left of
negations (this means no ¬∀ or ¬∃), and (ii) No negations appear outside of a set of parentheses
(this means no ¬(· · · ) ):
∃x (P (x) → (Q(x) ∧ ¬R(x)))
Math 230-01 Exam 1, March 4, 2009 3

10. (4pts) The associative property of multiplication of the set of real numbers R says that you can
multiply three real numbers in arbitrary order and get the same result. Express this property as
a quantified statement.

11. (5pts) For this question, F (A) is the predicate “A is a finite set,” S(A, B) is the predicate “A
is a subset of B,” and the domain of every quantifier is the universe of all sets. Translate the
following statement into a concise, meaningful English sentence (Do not use “It is not the case
that...”):
¬∃A∃B(¬F (A) ∧ F (B) ∧ S(A, B))

12. (8pts) Among a certain group of 27 people, exactly 2 people were born on Sunday. Prove that
at least 5 people were born on the same day of the week.

13. (8pts) Prove the following statement. When n is an integer, the following are equivalent:
(1) n2 is odd;
(2) (n + 1)2 is even;
(3) n is odd.
Math 230-01 Exam 1, March 4, 2009 4

14. (4pts) Write down the power set of {∅, a}.

15. (8pts) Use Venn diagrams to justify which relationship ( ⊆, =, or ⊇) is valid for the following
pair of sets. Write the correct operator in the blank.
(A − C) − (B − C) A−B

16. (8pts) Prove that A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). There are several possible ways to do this.
A Venn diagram can be helpful but is not a proof.
Math 230-01 Exam 1, March 4, 2009 5

[WORKSPACE]
Math 230-01 Exam 1, March 4, 2009 6

[WORKSPACE]

You might also like