# 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.

# Solving a Math Competition Problem: 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 an interesting math competition problem. This series was actually written by my friend Jeff Cagle, department head for mathematics at Chapelgate Christian Academy, as he tried technique after technique to solve this problem. I thought that his resolution to the problem was an excellent example of the process of mathematical problem-solving, and (with his permission) I am posting the process of his solution here. (For the record, I have no doubt that I would not have been able to solve this problem.)

Part 1: Statement of the problem.

Part 2: Initial thoughts on getting a handle on the problem.

Part 3: Initial insight.

Part 4: Geometric insight with a Riemann sphere.

Part 6: Getting past the roadblock.

Part 7: Insight.

Part 8: Proof of insight.

Part 9: Alternate solution (now that we know the answer).

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.

# Predicate Logic and Popular Culture (Part 187): Naked Eyes

Let $T$ be the set of all times, let $H$ be the set of all things, and let $R(x,t)$ be the proposition “At time $t$, $x$ is there to remind me.” Translate the logical statement $\forall t \in T \exists x \in H (R(x,t))$.

This matches a phrase from the chorus of this 1980s classic.

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 186): Nickleback

Let $M(t)$ be the proposition “Somehow, I will make it right at time $t$,” where $t=0$ is now. Translate the logical statement $\lnot L(0) \land \exists t > 0(M(t))$.

This matches a line from “Someday” by Nickleback.

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.