Q13

MCQ1 mark, −0.33

What is the correct translation of the following statement into mathematical logic? “Some real numbers are rational”

(A)

$\exists x (\text{real}(x) \lor \text{rational}(x))$

(B)

$\forall x (\text{real}(x) \to \text{rational}(x))$

(C)

$\exists x (\text{real}(x) \wedge \text{rational}(x))$

(D)

$\exists x (\text{rational}(x) \to \text{real}(x))$

Loading…