Write first order expression

Question

How can you represent the famous poem line, in first order expression

"Everybody Loves My Baby, but My Baby Don't Love Nobody but Me" 

Answer 1

It's not an easy question as we think about logic and of course not a big also.
"Everybody loves my baby but my baby loves nobody but me" implies "I am my baby." (Please read question 3-4 times).
Let’s try to apply the language of Logic and Propositions that we learned in Coaching Classes/Self Study/B.Tech/M.Tech...etc.

"Everybody loves my baby, but my baby don’t love nobody but me".

Suppose that our universe has one relationship, LOVES and two distinguished individuals, ME and MYBABY.

For example, LOVES(ME, MYBABY) means “I love my baby”  and  ∃x ~LOVES(x,ME) means "not everybody loves me."

Let the domain for x consist of all people.Translating the proposition “Everybody loves my baby, but my baby don’t love nobody but me" into symbolic logic, we have

(∀x LOVES(x,MYBABY) )∧(∀x LOVES(MYBABY,x) ↔ x=ME)

Since the above conjunction is true ,  it follows that both propositions
∀x LOVES(x,MYBABY) and ∀x LOVES(MYBABY,x) ↔x =ME

must be true for all x.  We can then substitute MYBABY  for x to obtain

LOVES(MYBABY, MYBABY)∧(LOVES(MYBABY,MYBABY) ↔ MYBABY=ME)

The truth of the first proposition LOVES(MYBABY,MYBABY) together with the left-to-right implication LOVES(MYBABY,MYBABY)→MYBABY=ME , imply that MYBABY=ME.

We must therefore conclude that individuals referred to as “me” and “My Baby” are one and the same person.

Please refer the below links for more details.

https://www.mail-archive.com/[email protected]/msg46966.html
http://griceclub.blogspot.in/2010/06/everybody-loves-my-baby-but-my-baby.html

Comments

don't and nobody would make double negative and hence the given statement should mean my baby loves everyone but me- may be its a typo.

---

Yeah you right Its a TYPO question but it also logical and reasoning type question .

But please look below 

Reasoning may be incomplete even when the conclusion does follow from the premisses. From "Everybody loves my baby, but my baby don’t love nobody but me " it follows that i am my baby.However, their is a clear sense in which "Everybody loves my baby, but my baby don’t love nobody but me; therefore I my baby" is not at least - not for most of us -a complete piece of reasoning. A complete piece of reasoning at least point out that , assuming a universal domain of quantification for "everybody " if every body loves my baby, then, since my baby is included in "everybody" , my baby loves my baby. But since my baby don't love nobody but me, I must be my baby.

Here is another solution

Show that "Everybody loves my baby but my baby loves nobody but me" implies "I am my baby."  To simplify things a little, you may symbolize the conclusion as if it read "My baby is me."

1. "xLxb
2. "x(Lbx ® x =m)              \ m = b
3. m ¹ b                                 neg of conclusion
4. Lbb                                    1 UI b/x
5. Lbb ® b = m                    2 UI b/x 
6. b = b                                  Axiom II
7. b = b. b =m. ® m = b       Axiom I  3-7 are inconsistent

The first half of the title, "everybody loves my baby," implies "my baby loves my baby." The second half, "my baby loves nobody but me" (formally, "if I am not a given person, then my baby does not love that person"), is logically equivalent to "if my baby loves a given person, then I am that person." The latter statement implies "if my baby loves my baby, then I am my baby." From "if my baby loves my baby, then I am my baby" and "my baby loves my baby" it follows that "I am my baby." ^[5] (Throughout the above, the universe of discourse is restricted to persons.)

---

Yes. The wikipedia solution is correct for the corrected version. 

https://en.wikipedia.org/wiki/Everybody_Loves_My_Baby