question about formal logic and predicates

Page 1 of 1

1 Replies - 2306 Views - Last Post: 23 March 2013 - 10:12 AM

#1 cs90   User is offline

  • New D.I.C Head

Reputation: 0
  • View blog
  • Posts: 1
  • Joined: 23-March 13

question about formal logic and predicates

Posted 23 March 2013 - 09:40 AM

If I want to translate: "Somebody loves nobody" into predicate logic, which is right?

To say, "There exists a person x such that for all persons y, person a does not love person b"
or
"There exists a person x such that there does not exist person y that loves person x"?

View Postcs90, on 23 March 2013 - 09:37 AM, said:

If I want to translate: "Somebody loves nobody" into predicate logic, which is right?

To say, "There exists a person x such that for all persons y, person y does not love person x"
or
"There exists a person x such that there does not exist person y that loves person x"?


Fixed the first statement.

If I want to translate: "Somebody loves nobody" into predicate logic, which is right?

To say, "There exists a person x such that for all persons y, person x does not love person y"
or
"There exists a person x such that there does not exist person y that loves person x"?

Is This A Good Question/Topic? 0
  • +

Replies To: question about formal logic and predicates

#2 macosxnerd101   User is offline

  • Games, Graphs, and Auctions
  • member icon




Reputation: 12800
  • View blog
  • Posts: 45,992
  • Joined: 27-December 08

Re: question about formal logic and predicates

Posted 23 March 2013 - 10:12 AM

Quote

To say, "There exists a person x such that for all persons y, person x does not love person y"

This is correct.
Was This Post Helpful? 0
  • +
  • -
Page 1 of 1