1. Please give an example of a predicate A(x) for which For all x R, A(x) is true. Then give a separate example of a predicate B(x) for which For all x R, B(x) is false, but There exists xR such that B(x) is true.
2. Please identify the hypotheses and conclusions in each implication. Then decide which statements are true and which are false.
   1. For x, y, zZ⁺, if x + y is odd and y + z is odd, then x + z is odd.
   2. If x is an integer, then x² x.
   3. For xR, if x² > 11, then x is positive.
   4. If f is a polynomial of odd degree, then f has at least one real root.
   5. If x is an integer, then x³ x.
3. Create a truth table to verify that each of the following is a tautology.
   1. (A (A B)) = B
   2. (A (B C)) = (A B)
   3. ((A B) (B C)) = (A C)
   4. (A (B C)) ((A B) C)
4. Construct a truth table to show that it is possible for A B to be true while its converse B A is false.
5. There are some useful rephrasings that involve negation. Construct a truth table to comparethe truth values of the following four statements:

(A B) A B (A B) A B

Which pairs are equivalent?

6. Rephrase the statement x is not greater than 7 in positive terms.
7. Negate the following predicates. Write each negation as positively as possible.
   1. The roots of a polynomial P(x) are either all real or all genuinely complex numbers.
   2. For xR, both x< 0 and x is irrational.
   3. For x, y, zZ⁺, both x + y and y + z are even.
8. Negate the following statements. Write each negation as positively as possible.
   1. There exists an odd prime number.
   2. For all real numbers x, x³ = x.
   3. Every positive integer is the sum of distinct powers of three.
   4. There exists a positive real number y such that for all real numbers x, y² = x.
9. Negate the following statements. Write each negation as positively as possible. Which statements or true and which are false.
   1. If x is an odd integer, then x² is an even integer.
   2. If f is a continuous function, then f is a differentiable function.
   3. If f is a differentiable function, then f is a continuous function.
   4. If f is a polynomial with integer coefficients, then f has at least one real root.
10. Give counterexamples to the following false statements.
    10. If a real number is greater than 5, then it is less than 10.
    11. If x is a real number, then x³ = x.
    12. All prime numbers are odd numbers. What is the hypothesis here, and what is the conclusion?
11. Use a direct proof to show that If x + y is even and y + z is even, then x + z is even.
12. Find the contrapositives of the following statements. Write things in positive terms wheneverpossible.
    1. If x< 0, then x² >
    2. If x6= 0, then there exists y for which xy = 1.
    3. If x is an even integer, then x² is an even integer.
    4. If x + y is odd and y + z is odd, then x + z is odd.
    5. If f is a polynomial of odd degree, then f has at least one real root.
13. Let A, B, Q and P be statements. Construct a truth table to show that the following statements are equivalent:

Q and (Q) (P P)

14. Use proof by contradiction to show that If x is an integer, then x cannot be both even and odd.