See the attached file for questioins

profileThehonest
2.doc

1. Determine whether these propositions are equivalent:

image1.emf

p→ q→ r( )

p®q®r

()

and

image2.emf

p→ q∧ r( )

p®qÙr

()

. Justify your answer.

2. On the island of knights and knaves, you encounter two people, A and B. Person A says “B is a knave”. Person B says “At least one of us is a knight”. Determine whether each person is a knight or a knave.

Assuming that knights always tell the truth and knaves always lie:

Case 1: Assume A is a knight, B is a knight:

Case 2: Assume A is a knight, B is a knave:

Case 3: Assume A is a knave, B is a knight:

Case 4: Assume A is a knave, B is a knave:

3. If P(x, y) means x + 2y = xy, where x and y are integers, determine the truth value of

image3.emf

∀y∃xP x, y( )

"y$xPx,y

()

.

4. Show that the hypotheses “I left my notes in the library or I finished the rough draft of the paper” and “I did not leave my notes in the library or I revised the bibliography” imply that “I finished the rough draft of the paper or I revised the bibliography.”

5. Prove: If x and y are odd integers, then x + y is even.

6. Give a proof by cases that x ≤ |x| for all real numbers x.

Case x ≥ 0:

Case x < 0:

7. Prove or disprove: If A, B, and C are sets, then image4.emf

A∩ B∪C( ) = A∩ B( )∪ A∩C( )

A∩B∪C

()

=A∩B

()

∪A∩C

()

.

Part 1: image5.emf

A∩ B∪C( )⊆ A∩ B( )∪ A∩C( )

A∩B∪C

()

ÍA∩B

()

∪A∩C

()

Part B: image6.emf

A∩ B( )∪ A∩C( )⊆ A∩ B∪C( )

A∩B

()

∪A∩C

()

ÍA∩B∪C

()

8. Find image7.emf

∩ i=1

∞ i,∞( )

i=1

¥

i,¥

()

9. Let A = {a, b, c}. True or false: image8.emf

a,c{ }∈A

a,c

{}

ÎA

.

10. Prove that between every two rational numbers there is a rational number.

11. Give an example of a function f: ZN that is one-to-one and not onto N.

_1518254141.unknown