Let’s try to apply the language of Logic and Propositions that we learned in class to the rag “Everybody loves my baby, but my baby don’t love nobody but me” (by Jack Palmer, ca. the 1920s). 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.” • Write a proposition, using this vocabulary and the Boolean connectives ∧, ∨, ¬, ⇒, as well as quantifiers ∀ and ∃, to transcribe this verse into the language of Logic. • Look now at what you wrote, and argue that this proposition implies ME = MYBABY ! Moral: Translating everyday life into Logic is a tricky business. .
