Translating from English to First Order Logic

label Computer Science
account_circle Unassigned
schedule 1 Day
account_balance_wallet $5

How will you translate this English Sentence into First Order Logic: There is somebody who is loved by everyone.

May 9th, 2015

∃y∀x Loves(x,y)


.....................


May 9th, 2015

Exactly what I thought. The answers I was given from the book I was using were horribly wrong. Thank you. 

May 9th, 2015

This was the answer they gave: ∃x(∀y(L(y, x))) 


It is wrong is it not?

May 9th, 2015

Yes, this is wrong. ∃x(∀y(L(y, x))) can sounds like ''there is someone who loves everyone in the world''

May 9th, 2015

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
May 9th, 2015
...
May 9th, 2015
Aug 23rd, 2017
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer