Someone took They Might Be Giants’ “Istanbul (not Constantinople)” song and rewrote it using first-order logic (and some set theory).
Original song lyrics here. Excerpt:
Every gal in Constantinople Lives in Istanbul, not Constantinople So if you’ve a date in Constantinople She’ll be waiting in Istanbul
∀ Gal ∈ Constantinople, Lives(Gal,Istanbul) & ¬Lives(Gal,Constantinople) Conclusion: Date(you,Constantinople) → Waiting(her,Istanbul)
CS103X, “introductory discrete math”, might have been the most painful class I took in school — observe, though, how thousands of dollars of education have been put to good use in helping me understand geek jokes.