The first reference I ever heard to the song “Everybody Loves My Baby, But My Baby Don’t Love Nobody But Me” was in a logic class, and at that time I assumed the professor had just made it up for the sake of an amusing logic example. But of course it’s a real song, and an excellent one. (I love these different versions.)
The reason the song is a good example to use in a logic class I’ll leave as an exercise for the reader.
Will this be due next week, Professor Long?
I think I might have got it.
Lac = “a loves c”
Sa = “a is somebody”
b = my baby
m = me
(?x?y)((Sx ? Lxb) ? ((Sy ? Lby) ? ¬(y?m))
“Everybody Loves My Baby, But My Baby Don’t Love Nobody But Me” implies that I am my own baby.