Logically pedantic readings of song lyrics Show more
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 babyb = m
(Seen in Smullyan's A Beginner's Guide to Mathematical Logic)
Proof. The first premise implies (L b b), from which the result follows by the second premise.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!