Logically pedantic readings of song lyrics 

Everybody loves my baby
∀x. L x b

But my baby don't love nobody but me
∀x. L b x → x = m
Therefore I am my own baby
b = m

(Seen in Smullyan's A Beginner's Guide to Mathematical Logic)


Logically pedantic readings of song lyrics 

Proof. The first premise implies (L b b), from which the result follows by the second premise.

Sign in to participate in the conversation
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.