# Predicate Logic and Popular Culture (Part 54): Michael Jackson

Let $p$ be the proposition “Billie Jean is my lover,” let $q$ be the proposition “Billie Jean is a girl,” let $r$ be the proposition “Billie Jean claims I am the one,” and let $s$ be the proposition “The kid is my son.” Translate the logical statement $\lnot p \land q \land r \land \lnot s$.

Naturally, the translation is the chorus of one of Michael Jackson’s iconic hits.