The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+14 votes
943 views
What is the correct translation of the following statement into mathematical logic?

“Some real numbers are rational”

(A) $\exists x (real(x) \lor rational(x))$
(B) $\forall x (real(x) \to rational(x))$
(C) $\exists x (real(x) \wedge rational(x))$
(D) $\exists x (rational(x) \to real(x))$
asked in Mathematical Logic by Boss (18k points)
edited by | 943 views

3 Answers

+26 votes
Best answer
Meaning of each choices:

(A): There exists a number which is either real or rational

(B): If a number is real it is rational

(C): There exists a number which is real and rational

(D): There exists a number such that if it is rational, it is real

So, (C) is the answer.
answered by Veteran (342k points)
selected by
0
@Arjun Sir: Can we write the statement as follows?
$\exists x( Real(x) \implies Rational(x) )$
 

In English: There exists an x such that, if x is real then it is rational.
+1
@Pratyush, No that is incorrect because implication is also true when the antecedent is false.

Some numbers might not be real, and since here no domain is specified we consider domain of all numbers be it an integer or real etc.

So, when some number is not real, say it is integer, your first part of implication becomes false and hence the whole implication becomes true which should not happen.
+4 votes
(C) is the answer.

Translation of (C):" There exists a number which is real and rational " and this is eqt to “Some real numbers are rational”.
answered by Loyal (6.2k points)
+1 vote

“ There exists a number which is real and rational” and this is equal to “Some real number are rational number.”

 

 

answered by Loyal (7.6k points)
edited by


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

35,485 questions
42,741 answers
121,445 comments
42,135 users