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

Let $P$ be the set of all people, let $F(x)$ be the proposition “You find $x$,” and let $L(x)$ be the proposition “$x$ is like me.” Translate the logical statement

$\forall x \in P (F(x) \Longrightarrow \lnot L(x))$.

This matches a quote from “ME!” by 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 195): Hannah Montana

Let $p$ be the proposition “We are a movie,” let $q$ be the proposition “You are the right guy,” and let $r$ be the proposition “I am the best friend.” Translate the logical statement

$p \Longrightarrow (q \land r)$.

This matches a quote from the Hannah Montana song “If We Were a Movie.”

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 194): Dragon Ball

Let $P$ be the set of all people, let $P(x)$ be the proposition “$x$ preaches about justice,” and let $G(x)$ be the proposition “$x$ is a good guy.” Translate the logical statement

$\forall x \in P (P(x) \Longrightarrow \lnot G(x))$.

This matches a quote from the Dragon Ball franchise.

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 193): Randy Travis

Let $T$ be the set of all time, and let $L(t)$ be the proposition “I am going to love you at time $t$.” Translate the logical statement

$\forall t \in T (L(t))$.

This matches a chorus of the famous Randy Travis song.

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.

# Wason Selection Task: Index

I’m doing something that I should have done a long time ago: collecting a series of posts into one single post. The following links comprised my series on the Wason Selection Task.

Part 1: Statement of the problem.

Part 2: Answer of the problem.

Part 3: Pedagogical thoughts about the problem, including variants.

# Predicate Logic and Popular Culture (Part 192): Overwatch

Let $P$ be the set of all people, let $H(x)$ be the proposition “$x$ is a hero,” and let $D(x)$ be the proposition “$x$ dies.” Translate the logical statement

$\forall x in P (H(x) \Rightarrow \lnot D(x))$.

This matches a line from the videogame “Overwatch.”

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 191): Bebe Rexha

Let $P$ be the set of all people, let $p$ be the proposition “I’m paying,” and let $S(x)$ be the proposition “$x$ shows up.” Translate the logical statement

$\not p \Rightarrow \forall x in P (\lnot S(x))$.

This matches a line from “I’m a Mess.”

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 190): Eastside

Let $T$ be the set of all things, and let $D(x)$ be the proposition “We can do $x$ if we put our minds to it.” Translate the logical statement

$\forall x \in T (D(x))$.

This matches a line from “Eastside.”

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 189): Mana

Let $W(t)$ be the proposition “At time $t$, you want me as I am,” and let $R(t)$ be the proposition “At time $t$, you reject me for what I was.” Translate the logical statement

$\forall t<0 (\lnot W(t) \land R(t))$.

This matches a line from the Spanish-language song “Tengo Muchas Alas / I Have Many Wings.”

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 188): Talladega Nights

Let $p$ be the proposition “You are first,” and let $q$ be the proposition “You are last.” Translate the logical statement

$\lnot p \Rightarrow q$.

This matches the famous catchphrase from “Talladega Nights: The Ballad of Ricky Bobby.”

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.