edited by
596 views
0 votes
0 votes

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

“If everyone respect somebody then that person is honest”

Here respect (a, b) represent a respect b.

  1. $\exists x(\forall y(person(y)\rightarrow respect(y,x))\rightarrow honest(x))$
  2. $\forall x(\forall y(person(y)\rightarrow respect(y,x))\rightarrow honest(x))$
  3. $\forall x(\exists y(person(y)\rightarrow respect(y,x))\rightarrow honest(x))$
  4. None of these

I feel it should be a but the answer is b.

edited by

1 Answer

Best answer
1 votes
1 votes

The given statement is true for all. We cannot say it is true for anyone particular. Any person who is being respected by everyone is honest.

 “If everyone respect somebody then that person is honest”

Here this somebody is like true for all.

In option A, it is saying that there exists a person, if everyone respects him, he is honest.

It is like, if everyone respects Ram, he is honest. but given statement is true for Ram ,Shyam, Gita and Sita(for all). 

In option B, among all people, if there is someone who is being respected by all, then he is honest.

selected by

Related questions