Easier statement:

For all y = Q there exists r = Z such that (y

Harder statement:

For all y = Q there exists r € Z such that (y

1. You will be given two logical statements, one easier and one harder.

2. Choose one of the two statements.

3. Write out the logical statement.

4. Write it out again using logical symbols (and 33, and arrows for the harder statement).

5. Write out the negation of the statement in words and in symbols.

6. State which of the two statements (the original one or it's negation) is true.

7. Give a well-written proof.