Redirected
in Mathematical Logic edited by
592 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.

in Mathematical Logic edited by
592 views

2 Comments

yes answer is "B"  bcoz what option "A" mean is  " All person y respect person x then some x is honest" but it should be all x which is respected by y must be honest not some but all should be honest

plz notify me if u found my approach is wrong
0
0
please elaborate answer
0
0

1 Answer

1 vote
1 vote
Best answer

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

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