Multiple choice

What is the correct translation of the following statement into mathematical logic?

“Some real numbers are rational”

  1. $\exists x (real(x) \lor rational(x))$
  2. $\forall x (real(x) \to rational(x))$
  3. $\exists x (real(x) \wedge rational(x))$
  4. $\exists x (rational(x) \to real(x))$
Reveal answer Fill a bubble to check yourself
C Correct answer
Explanation

1: There exists x which is either real or rational and can be both. 2: All real numbers are rational 3: There exists a real number which is rational. 4: There exists some number which is not rational or which is real.

Keep practicing — related questions