Baby Logic

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.

3 Responses to Baby Logic

  1. Nasikabatrachus October 19, 2007 at 11:58 pm #

    Will this be due next week, Professor Long?

  2. Z. M. Davis October 22, 2007 at 12:14 am #

    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))

  3. Johan Ridenfeldt October 22, 2007 at 2:57 am #

    “Everybody Loves My Baby, But My Baby Don’t Love Nobody But Me” implies that I am my own baby.

Leave a Reply to Nasikabatrachus Click here to cancel reply.

Powered by WordPress. Designed by WooThemes