# Predicate Logic and Popular Culture (Part 143): Cole Swindell

Let $p$ be the proposition “You are worth the whiskey.” Translate the logical statement $\lnot p$.

This is the title of a hit country song by Cole Swindell. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 142): Ed Sheeran

Let $p$ be the proposition “She played the fiddle in an Irish band,” and let $q$ be the proposition “She fell in love with an English man.” Translate the logical statement $p \land q$.

This matches the opening lines of “Galway Girl.” Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 141): Moana

Let $W(t)$ be the proposition “The wind in my sail on the sea is behind me at time $t$,” and let $F(t)$ be the proposition “At time $t$, I know how far I’ll go.” $(\forall t>0 (W(t))) \rightarrow (\exists s>0 (F(s)))$.

This matches the last line of one of the songs from Disney’s Moana. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 140): Ella Fitzgerald

Let $p$ be the proposition “It means a thing,” and let $q$ be the proposition “It has that swing.” Translate the logical statement $\lnot q \Rightarrow \lnot p$.

Of course, this is the classic song by Ella Fitzgerald. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 139): La La Land

Let $C$ be the set of all people in the crowd, and let $N(x)$ be the proposition “ $x$ could be the one you need to know.” Translate the logical statement $\exists x \in C (N(x))$.

This matches the title of one of the songs from the movie/musical La La Land. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 138): Queen

Let $M(x)$ be the proposition “ $x$ really matters to me.” Translate the logical statement $\forall x (\lnot M(x))$.

This is the closing line of Queen’s “Bohemian Rhapsody.” Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 137): Pikotaro

Let $p$ be the  proposition “I have a pen,” and let $q$ be the proposition “I have a pineapple.” Translate the logical statement $p \land q$.

Presented without any further comment: Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 136): ZAYN and Taylor Swift

Let $L(t)$ be the proposition “I want to live at time $t$,” and let $F(x)$ be the proposition “I want to fit a place $x$.” Translate the logical statement $\lnot (\forall t > 0 (L(t))) \land \lnot (\forall x (F(x)))$.

This matches the chorus of the recent hit duet by ZAYN and Taylor Swift. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 135): The Weeknd

Let $F(t)$ be the proposition “I can feel my face at time $t$,” let $W(t)$ be the proposition “I am with you at time $t$,” and let $p$ be the proposition “I love it.” Translate the logical statement $\forall t(W(t) \Rightarrow \lnot F(t)) \land p$.

This is the chorus of a recent hit song by The Weeknd. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

# Predicate Logic and Popular Culture (Part 134): Braveheart

Let $M$ be the set of all men, let $D(x)$ be the proposition “ $x$ dies,” and let $L(x)$ be the proposition “ $x$ really lives.” Translate the logical statement $\forall x \in M (D(x)) \land \lnot \forall x \in M(L(x))$.

This is one of the most quotable lines from the movie Braveheart. Context: Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.