Predicate Logic and Popular Culture (Part 115): Cascada

Let T(t) be the proposition “We touch at time t,” let G(t) be the proposition “I get this feeling at time t,” let K(t) be the proposition “We kiss at time t,” and let F(t) be the proposition “I swear I can fly at time t.” Translate the logical statement

\forall t ((T(t) \Rightarrow G(t)) \land (K(t) \Rightarrow F(t))).

This matches the first two lines of this hit by Cascada.

green line

Context: This semester, I taught discrete mathematics for the first time. 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 114): Game of Thrones

Let $p$ be the statement “You are Jon Snow,” and let K(x) be the proposition “You know x.” Translate the logical statement

p \land \forall x \lnot K(x).

I’m not a fan of Game of Thrones, but one of my students tells me that this is a famous line from that series.

green line

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 113): Neil Diamond

Let G(t) be the proposition “Good times seemed so good at time t.” Translate the logical statement

\forall t (\lnot G(t)).

This matches the chorus from “Sweet Caroline.”

green line

Context: This semester, I taught discrete mathematics for the first time. 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 112): Donald Trump

Let W(x) be the proposition “x is a winner,” and let L(x) be the proposition “x is a loser.” Translate the logical statement

\forall x (W(x) \Rightarrow \lnot L(x)).

This matches the children’s books that Jimmy Kimmel read to Donald Trump during the presidential campaign. (The first video is rated PG for language.)

green line

Context: This semester, I taught discrete mathematics for the first time. 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 111): Naked Eyes

Let R(x,t) be the proposition “At time t, x is there to remind me.” Translate the logical statement

\forall t \exists x R(x,t).

Naturally, this matches one of the big hits of the 1980s.

green line

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 110): Louis Armstrong

Let L(x,y) be the proposition “x loves y.” Translate the logical statement

\forall x L(x, \hbox{my baby}) \land L(\hbox{mybaby},\hbox{me}) \land \forall y(L(\hbox{my baby}, y) \Rightarrow y = \hbox{me}).

This matches this classic song from the 1930s.

Indeed, the lyrics of this song have some fun implications. If “everybody loves my baby, but my baby don’t love nobody but me,” then who is “my baby”? Suppose, for the sake of contradiction, that “my baby” is someone other than “me.” This is a problem because everyone loves “my baby,” but it’s impossible for “my baby” to love someone else other than “me.” So this can’t happen.

Therefore, we can conclude from the lyrics of the song that “I am my baby.”

Logic is powerful stuff.

green line

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 109): Bruce Springsteen

Let $p$ be the proposition “You can start a fire,” and let q be the proposition “You have a spark.”  Translate the logical statement

\lnot q \Rightarrow \lnot p.

Of course, this is part of the chorus from this classic song by Bruce Springsteen. The contrapositive p \Rightarrow q, which is logically equivalent, is “If you have a spark, then you can start a fire.”

green line

Context: This semester, I taught discrete mathematics for the first time. 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 108): Fifth Harmony

Let D be the set of all days, and let P(t) be the proposition “t is pay day.”Translate the logical statement

\forall t \in D (P(t)).

This is the opening line of a recent hit song by Fifth Harmony.

green line

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 107): Miley Cyrus

Let S(x) be the proposition “I see x,” let C(x) be the proposition “x is a celeb,” and let p be the proposition “I got the memo.”  Translate the logical statement

(\forall x(S(x) \Rightarrow C(x)) \land \lnot p.

This is one of the lines in Miley Cyrus’s breakout hit.

I’m not particularly a fan of Miley Cyrus, but I still enjoyed watching the 2016 U.S. Olympic swim team enjoy carpool karaoke to her song.

green line

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 106): Alicia Keys

Let G(x) be the proposition “x can get in the way of what I feel for you.” Translate the logical statement

\lnot \exists x G(x).

This approximately matches the last line of this popular song by Alicia Keys.

 

green line

Context: This semester, I taught discrete mathematics for the first time. 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.