Inspired by a post from Denny Vrandečić, I came up with more quotes from pop culture, rewritten in logics – enjoy, and please correct me if anything should be wrong:
- ¬∃knows.TroubleI’veSeen (Spiritual)
- Bier ⊑ ¬∃gibtsAuf.Hawaii ⇒ Ich ⊑ (¬∃fahreNach.Hawaii)⊓(∀bleibe.Hier) (Kuhn, 1963)
- ¬(⋄I ⊑ ∃get.¬“⊨”) (Jagger/Richards, 1965)
- ¬∃ b:Business . b = ShowBusiness (Berlin, 1946)
- I ⊑ ∃shot.Sheriff ⊓ ∀shot.¬Deputy (Marley, 1973)
- ¬(⊥ ⊓ ¬HoundDog) (Presley, 1956)
- ¬∃ ¬Sunshine ← gone(She) (Withers, 1971)
- ∀x ∃y . needs(x, y) ∧ loves(x, y) (Blues Brothers, 1981)
- I ⊑ ∃feel.(Pretty ⊓ Witty ⊓ Gay) (Bernstein/Sondheim, 1961)