Exercise 16.

Translate into symbols. Use \(E(x)\) for “\(x\) is even” and \(O(x)\) for “\(x\) is odd.”

  1. No number is both even and odd.

  2. One more than any even number is an odd number.

  3. There is prime number that is even.

  4. Between any two numbers there is a third number.

  5. There is no number between a number and one more than that number.

Solution.
in-context