- 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 x∈R such that B(x)” is true.
- Please identify the hypotheses and conclusions in each implication. Then decide which statements are true and which are false.
- For x, y, z∈Z+, if x + y is odd and y + z is odd, then x + z is odd.
- If x is an integer, then x2 ≥x.
- For x∈R, if x2 > 11, then x is positive.
- If f is a polynomial of odd degree, then f has at least one real root.
- If x is an integer, then x3 ≥x.
- Create a truth table to verify that each of the following is a tautology.
- (A ∧ (A ⇒ B)) =⇒ B
- (A ⇒ (B ∧ C)) =⇒ (A ⇒ B)
- ((A ⇒ B) ∧ (B ⇒ C)) =⇒ (A ⇒ C)
- (A ⇒ (B ∨ C)) ⇐⇒ ((A ∧¬B) ⇒ C)
- Construct a truth table to show that it is possible for A ⇒ B to be true while its converse B ⇒ A is false.
- 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?
- Rephrase the statement “x is not greater than 7” in positive terms.
- Negate the following predicates. Write each negation as positively as possible.
- The roots of a polynomial P(x) are either all real or all genuinely complex numbers.
- For x∈R, both x< 0 and x is irrational.
- For x, y, z∈Z+, both x + y and y + z are even.
- Negate the following statements. Write each negation as positively as possible.
- There exists an odd prime number.
- For all real numbers x, x3 = x.
- Every positive integer is the sum of distinct powers of three.
- There exists a positive real number y such that for all real numbers x, y2 = x.
- Negate the following statements. Write each negation as positively as possible. Which statements or true and which are false.
- If x is an odd integer, then x2 is an even integer.
- If f is a continuous function, then f is a differentiable function.
- If f is a differentiable function, then f is a continuous function.
- If f is a polynomial with integer coefficients, then f has at least one real root.
- Give counterexamples to the following false statements.
- If a real number is greater than 5, then it is less than 10.
- If x is a real number, then x3 = x.
- All prime numbers are odd numbers. What is the hypothesis here, and what is the conclusion?
- Use a direct proof to show that “If x + y is even and y + z is even, then x + z is even.”
- Find the contrapositives of the following statements. Write things in positive terms wheneverpossible.
- If x< 0, then x2 >
- If x6= 0, then there exists y for which xy = 1.
- If x is an even integer, then x2 is an even integer.
- If x + y is odd and y + z is odd, then x + z is odd.
- If f is a polynomial of odd degree, then f has at least one real root.
- 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)
- Use proof by contradiction to show that “If x is an integer, then x cannot be both even and odd.”



