Predicate Logic and Popular Culture (Part 126): Hamilton

Let W(x,t) be the proposition “You walk with x at time t.” Translate the logical statement

\lnot \exists t \forall x \lnot W(x,t).

The straightforward way of translating this into English is, “If you stand for nothing, then you’ll fall for anything,” one of the motifs (with a slightly different wording) of the hit musical Hamilton.

green line

Context: I recently 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 125): INXS

Let M(x) be the proposition “x is a man,” let W(x) be the proposition “x is with you,” and let K(x) be the proposition “I knew x.” Translate the logical statement

\forall x ((M(x) \land W(x)) \Rightarrow K(x)).

This matches the chorus of “Do Wot You Do” by INXS, which also was on one of the all-time best movie soundtracks.

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 124): High School Musical

Let W(x) be the proposition “I want to do x.” Translate the logical statement

W(\hbox{be with you}) \land \forall x ((x \ne \hbox{be with you}) \Rightarrow \lnot W(x)).

This matches the chorus of one of the songs from High School Musical 3.

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: 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 using examples from popular culture to illustrate principles of predicate logic. My experiences teaching these ideas to my discrete mathematics students led to my recent publication (John Quintanilla, “Name That Tune: Teaching Predicate Logic with Popular Culture,” MAA Focus, Vol. 36, No. 4, pp. 27-28, August/September 2016).

Unlike other series that I’ve made, this series didn’t have a natural chronological order. So I’ll list these by concept illustrated from popular logic.

green lineLogical and \land:

  • Part 1: “You Belong To Me,” by Taylor Swift
  • Part 21: “Do You Hear What I Hear,” covered by Whitney Houston
  • Part 31: The Godfather (1972)
  • Part 45: The Blues Brothers (1980)
  • Part 53: “What Does The Fox Say,” by Ylvis
  • Part 54: “Billie Jean,” by Michael Jackson
  • Part 98: “Call Me Maybe,” by Carly Rae Jepsen.

Logical or \lor:

  • Part 1: Shawshank Redemption (1994)

Logical negation \lnot:

  • Part 1: Richard Nixon
  • Part 32: “Satisfaction!”, by the Rolling Stones
  • Part 39: “We Are Never Ever Getting Back Together,” by Taylor Swift

Logical implication \Rightarrow:

  • Part 1: Field of Dreams (1989), and also “Roam,” by the B-52s
  • Part 2: “Word Crimes,” by Weird Al Yankovic
  • Part 7: “I’ll Be There For You,” by The Rembrandts (Theme Song from Friends)
  • Part 43: “Kiss,” by Prince
  • Part 50: “I’m Still A Guy,” by Brad Paisley
  • Part 76: “You’re Never Fully Dressed Without A Smile,” from Annie.
  • Part 109: “Dancing in the Dark,” by Bruce Springsteen.
  • Part 122: “Keep Yourself Alive,” by Queen.

For all \forall:

  • Part 3: Casablanca (1942)
  • Part 4: A Streetcar Named Desire (1951)
  • Part 34: “California Girls,” by The Beach Boys
  • Part 37: Fellowship of the Ring, by J. R. R. Tolkien
  • Part 49: “Buy Me A Boat,” by Chris Janson
  • Part 57: “Let It Go,” by Idina Menzel and from Frozen (2013)
  • Part 65: “Stars and Stripes Forever,” by John Philip Sousa.
  • Part 68: “Love Yourself,” by Justin Bieber.
  • Part 69: “I Will Always Love You,” by Dolly Parton (covered by Whitney Houston).
  • Part 74: “Faithfully,” by Journey.
  • Part 79: “We’re Not Gonna Take It Anymore,” by Twisted Sister.
  • Part 87: “Hungry Heart,” by Bruce Springsteen.
  • Part 99: “It’s the End of the World,” by R.E.M.
  • Part 100: “Hold the Line,” by Toto.
  • Part 101: “Break My Stride,” by Matthew Wilder.
  • Part 102: “Try Everything,” by Shakira.
  • Part 108: “BO$$,” by Fifth Harmony.
  • Part 113: “Sweet Caroline,” by Neil Diamond.
  • Part 114: “You Know Nothing, Jon Snow,” from Game of Thrones.
  • Part 118: “The Lazy Song,” by Bruno Mars.
  • Part 120: “Cold,” by Crossfade.
  • Part 123: “Always on My Mind,” by Willie Nelson.

For all and implication:

  • Part 8 and Part 9: “What Makes You Beautiful,” by One Direction
  • Part 13: “Safety Dance,” by Men Without Hats
  • Part 16: The Fellowship of the Ring, by J. R. R. Tolkien
  • Part 24 : “The Chipmunk Song,” by The Chipmunks
  • Part 55: The Quiet Man (1952)
  • Part 62: “All My Exes Live In Texas,” by George Strait.
  • Part 70: “Wannabe,” by the Spice Girls.
  • Part 72: “You Shook Me All Night Long,” by AC/DC.
  • Part 81: “Ascot Gavotte,” from My Fair Lady
  • Part 82: “Sharp Dressed Man,” by ZZ Top.
  • Part 86: “I Could Have Danced All Night,” from My Fair Lady.
  • Part 95: “Every Breath You Take,” by The Police.
  • Part 96: “Only the Lonely,” by Roy Orbison.
  • Part 97: “I Still Haven’t Found What I’m Looking For,” by U2.
  • Part 105: “Every Rose Has Its Thorn,” by Poison.
  • Part 107: “Party in the U.S.A.,” by Miley Cyrus.
  • Part 112: “Winners Aren’t Losers,” by Donald J. Trump and Jimmy Kimmel.
  • Part 115: “Every Time We Touch,” by Cascada.
  • Part 117: “Stronger,” by Kelly Clarkson.

There exists \exists:

  • Part 10: “Unanswered Prayers,” by Garth Brooks
  • Part 15: “Stand by Your Man,” by Tammy Wynette (also from The Blues Brothers)
  • Part 36: Hamlet, by William Shakespeare
  • Part 57: “Let It Go,” by Idina Menzel and from Frozen (2013)
  • Part 93: “There’s No Business Like Show Business,” from Annie Get Your Gun (1946).
  • Part 94: “Not While I’m Around,” from Sweeney Todd (1979).
  • Part 104: “Wild Blue Yonder” (US Air Force)
  • Part 106: “No One,” by Alicia Keys.
  • Part 116: “Ocean Front Property,” by George Strait.

Existence and uniqueness:

  • Part 14: “Girls Just Want To Have Fun,” by Cyndi Lauper
  • Part 20: “All I Want for Christmas Is You,” by Mariah Carey
  • Part 23: “All I Want for Christmas Is My Two Front Teeth,” covered by The Chipmunks
  • Part 29: “You’re The One That I Want,” from Grease
  • Part 30: “Only You,” by The Platters
  • Part 35: “Hound Dog,” by Elvis Presley
  • Part 73: “Dust In The Wind,” by Kansas.
  • Part 75: “Happy Together,” by The Turtles.
  • Part 77: “All She Wants To Do Is Dance,” by Don Henley.
  • Part 90: “All You Need Is Love,” by The Beatles.

DeMorgan’s Laws:

  • Part 5: “Never Gonna Give You Up,” by Rick Astley
  • Part 28: “We’re Breaking Free,” from High School Musical (2006)

Simple nested predicates:

  • Part 6: “Everybody Loves Somebody Sometime,” by Dean Martin
  • Part 25: “Every Valley Shall Be Exalted,” from Handel’s Messiah
  • Part 33: “Heartache Tonight,” by The Eagles
  • Part 38: “Everybody Needs Somebody To Love,” by Wilson Pickett and covered in The Blues Brothers (1980)
  • Part 46: “Mean,” by Taylor Swift
  • Part 56: “Turn! Turn! Turn!” by The Byrds
  • Part 63: P. T. Barnum.
  • Part 64: Abraham Lincoln.
  • Part 66: “Somewhere,” from West Side Story.
  • Part 71: “Hold On,” by Wilson Philips.
  • Part 80: Liverpool FC.
  • Part 84: “If You Leave,” by OMD.
  • Part 103: “The Caisson Song” (US Army).
  • Part 111: “Always Something There To Remind Me,” by Naked Eyes.
  • Part 121: “All the Right Moves,” by OneRepublic.

Maximum or minimum of a function:

  • Part 12: “For the First Time in Forever,” by Kristen Bell and Idina Menzel and from Frozen (2013)
  • Part 19: “Tennessee Christmas,” by Amy Grant
  • Part 22: “The Most Wonderful Time of the Year,” by Andy Williams
  • Part 48: “I Got The Boy,” by Jana Kramer
  • Part 60: “I Loved Her First,” by Heartland
  • Part 92: “Anything You Can Do,” from Annie Get Your Gun.
  • Part 119: “Uptown Girl,” by Billy Joel.

Somewhat complicated examples:

  • Part 11 : “Friends in Low Places,” by Garth Brooks
  • Part 27 : “There is a Castle on a Cloud,” from Les Miserables
  • Part 41: Winston Churchill
  • Part 44: Casablanca (1942)
  • Part 51: “Everybody Wants to Rule the World,” by Tears For Fears
  • Part 58: “Fifteen,” by Taylor Swift
  • Part 59: “We Are Never Ever Getting Back Together,” by Taylor Swift
  • Part 61: “Style,” by Taylor Swift
  • Part 67: “When I Think Of You,” by Janet Jackson.
  • Part 78: “Nothing’s Gonna Stop Us Now,” by Starship.
  • Part 89: “No One Is Alone,” from Into The Woods.
  • Part 110: “Everybody Loves My Baby,” by Louis Armstrong.

Fairly complicated examples:

  • Part 17 : Richard Nixon
  • Part 47: “Homegrown,” by Zac Brown Band
  • Part 52: “If Ever You’re In My Arms Again,” by Peabo Bryson
  • Part 83: “Something Good,” from The Sound of Music.
  • Part 85: “Joy To The World,” by Three Dog Night.
  • Part 88: “Like A Rolling Stone,” by Bob Dylan.
  • Part 91: “Into the Fire,” from The Scarlet Pimpernel.

Really complicated examples:

  • Part 18: “Sleigh Ride,” covered by Pentatonix
  • Part 26: “All the Gold in California,” by the Gatlin Brothers
  • Part 40: “One of These Things Is Not Like the Others,” from Sesame Street
  • Part 42: “Take It Easy,” by The Eagles

Engaging students: Finding the inverse, converse, and contrapositive

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Heidee Nicoll. Her topic, from Geometry: finding the inverse, converse, and contrapositive.

green line

How could you as a teacher create an activity or project that involves your topic?

I would start this lesson with if-then statements that were not math related.  I would use simple examples such as “If it is raining, then my mother will not let me play outside.”  Students will be in groups, and will each group will have a set of cutouts, with each set containing two copies of the word “not”, a card with “if” and a card with “then,” and each “if” statement and each “then” statement on separate cards.  They will also have a worksheet that gives them space to write the sentences that we come up with as a class.  As the teacher, I will have a set of cutouts that will have either magnets or tape on the back that I will have on the board.  I will show them an example, before having them work on their own.  I will have the cards, for example “If” “It is raining” “then” “my mother will not let me play outside” on the board.  Then I will put a “not” card in front of each statement and ask the students what this statement means.  It will say “If” “not” “it is raining” “then” “not” “my mother will not let me play outside,” which translates to “If it is not raining, my mother will let me play outside.”  The students will copy the grammatically correct statement onto their worksheet.  I will ask them if it is a true statement.  Then, I will put the statement back in its original form, and then will switch the “if” and “then” statements, which would result in “If” “my mother will not let me play outside” “then” “it is raining.” The students will copy down this sentence and will discuss whether or not it is true.  Lastly, we will do the contrapositive of the statement, and switch the “if” and “then” statements and add the “not” cards.  The students will then do several sentences on their own, moving around the cards to form the statements, copying the sentences onto their worksheets, and talking as a group about whether or not the statements are true.  This will help the students see the concept behind these different statements before having to learn the names inverse, converse, and contrapositive, and without having to think about them in terms of geometry.

 

 

green line

How has this topic appeared in pop culture (movies, TV, current music, video games, etc.)?

This clip from some Star Trek episode shows an example of times in the English language when it might be hard to decode exactly what someone is saying because of the word “not” or the use of double negatives.

I would show the students the clip and ask them what the man meant by “nobody helps nobody but himself” and if that was a true statement.  If they decide that it is not true, then I would ask them what they would change about the sentence to make it true.  Although this clip does not explicitly use the ideas of inverse, converse, or contrapositive, it shows the importance of being able to take a somewhat confusing or ambiguous statement and understand it logically.  In order for students to understand inverse, converse, and contrapositive, they need to understand that the phrase “this is not an odd number” also means “this is an even number,” or that “this polygon does not have an uneven number of sides” means that “this polygon has an even number of sides.”  I would show them examples such as these, and have the students share what they think the statements mean.  We would have a class discussion about how language can be confusing at times, and how we need to be able to decode it.

 

green line

How can technology (YouTube, Khan Academy [khanacademy.org], Vi Hart, Geometers Sketchpad, graphing calculators, etc.) be used to effectively engage students with this topic?

I would use Kahoot! to create an online quiz.  I would have questions such as “which of these statements is logically true?” and “which of these statements is logically false?” Each answer choice would be a short statement, some math related, such as “if a number ends in 2 it is even” and some not related, such as “if the sun is out today, then it is warm outside.”  I would also include statements that were the inverse, converse, or contrapositive, such as “if it is not warm outside, then the sun is not out today.”  The students would have to read all the answer choices and pick the one that was true or false, depending on what the question was asking.  This would get them thinking about whether or not certain statements are true, and would give them practice logically decoding words and phrases.  Kahoot! keeps track of the students that answer correctly and quickly and keeps points, so it would be a small competition, which students normally enjoy.

 

 

Engaging students: Truth tables

In my capstone class for future secondary math teachers, I ask my students to come up with ideas for engaging their students with different topics in the secondary mathematics curriculum. In other words, the point of the assignment was not to devise a full-blown lesson plan on this topic. Instead, I asked my students to think about three different ways of getting their students interested in the topic in the first place.

I plan to share some of the best of these ideas on this blog (after asking my students’ permission, of course).

This student submission comes from my former student Anna Park. Her topic, from Geometry: truth tables.

green line

How could you as a teacher create an activity or project that involves your topic?

 

The student’s will each be given half a sentence. The student’s have to walk around and talk to everyone in the class and compare their slivers of paper. They have to logically match up with someone in order to finish their statement. For example, one student will have “If I have a flat tire,” and another student will have,” then I will have to change the tire” then they would be matched together. Once all of the students find their match the student’s will stand up with their partner and present their sentence and explain why it logically works.

 

 

green line

How can this topic be used in your students’ future courses in mathematics or science?

 

Truth tables will be used in geometry and in nearly every math class that follows. In college, truth tables are used in discrete mathematics, real analysis, and any proof based class. Truth tables help develop logical thinking, which is needed when one writes a mathematical proof. Many students understand the idea of cause and effect, but they do not logically think out their actions before they do them. Truth tables allow you to think deeper in cause and effect. Which, they will need later in life when making big decisions. For instance, in college there are many things to juggle. For example; assignments, sleep, physical activity, social life, and work. I have to consider all of my options logically in order to get everything done. I think about how many hours I have left in the day after I have class and work, then I look at my assignments and their due dates and see which ones I can complete given the time I have. Then I plan my workout to go with the exact amount of time left over, and still manage to get around seven hours of sleep. I have to think to my self, “ If I get this assignment done today, then I can do my other assignment tomorrow.” Students will need to learn cause and effect and truth tables is a good place to start.

 

green line

How can technology (YouTube, Khan Academy [khanacademy.org], Vi Hart, Geometers Sketchpad, graphing calculators, etc.) be used to effectively engage students with this topic?

 

There are many youtube videos that show you how to do truth tables, which is great for when you are learning. But there is a website where students can practice writing truth tables and get immediate feedback if they are right or wrong. The students’ can practice for as long as they want, and it is great repetition for the student to remember how truth tables work and the rules they must follow. With the website when the students get it wrong it will explain why the student was wrong and why the table should be what it is. Below is an example of what the website does when the answer is incorrect.

https://www.ixl.com/math/geometry/truth-tables

 

My Favorite One-Liners: Part 89

In this series, I’m compiling some of the quips and one-liners that I’ll use with my students to hopefully make my lessons more memorable for them.

Here’s a problem that might arise in my discrete mathematics class:

Find the negation of p \Rightarrow q.

This requires a couple of reasonably complex steps. First, we use the fact that p \Rightarrow q is logically equivalent to $\lnot p \lor q$:

\lnot(p \Rightarrow q) \equiv \lnot (\lnot p \lor q).

Next, we have to apply DeMorgan’s Law to find the negation:

\lnot (p \Rightarrow q) \equiv \lnot(\lnot p \lor q) \equiv \lnot(\lnot p) \land \lnot q

Finally, we arrive at the final step: simplifying \lnot(\lnot p). At this point, I tell my class, it’s a bit of joke, especially after the previous, more complicated steps. “Not not p,” of course, is the same as p. So this step is a bit of a joke. Which steps up the following cringe-worthy pun:

In fact, you might even call this a not-not joke.

After the groans settle down, we finish the derivation:

\lnot(p \Rightarrow q) \equiv \lnot(\lnot p \lor q) \equiv \lnot(\lnot p) \land \lnot q \equiv p \land \lnot q.

My Favorite One-Liners: Part 44

In this series, I’m compiling some of the quips and one-liners that I’ll use with my students to hopefully make my lessons more memorable for them.

Today’s quip is something that I’ll use to emphasize that the meaning of the word “or” is a little different in mathematics than in ordinary speech. For example, in mathematics, we could solve a quadratic equation for x:

x^2 + 2x - 8 = 0

(x+4)(x-2) = 0

x + 4 = 0 \qquad \hbox{OR} \qquad x - 2 = 0

x = -4 \qquad \hbox{OR} \qquad x = 2

In this example, the word “or” means “one or the other or maybe both.” It could be that both statements are true, as in the next example:

x^2 + 2x +1 = 0

(x+1)(x+1) = 0

x + 1 = 0 \qquad \hbox{OR} \qquad x + 1= 0

x = -1 \qquad \hbox{OR} \qquad x = -1

However, in plain speech, the word “or” typically means “one or the other, but not both.” Here the quip I’ll use to illustrate this:

At the end of “The Bachelor,” the guy has to choose one girl or the other. He can’t choose both.

My Favorite One-Liners: Part 38

In this series, I’m compiling some of the quips and one-liners that I’ll use with my students to hopefully make my lessons more memorable for them.

When I was a student, I heard the story (probably apocryphal) about the mathematician who wrote up a mathematical paper that was hundreds of pages long and gave it to the departmental administrative assistant to type. (This story took place many years ago before the advent of office computers, and so typewriters were the standard for professional communication.) The mathematician had written “iff” as the standard abbreviation for “if and only if” since typewriters did not have a button for the \Leftrightarrow symbol.

Well, so the story goes, the administrative assistant saw all of these “iff”s, muttered to herself about how mathematicians don’t know how to spell, and replaced every “iff” in the paper with “if”.

And so the mathematician had to carefully pore through this huge paper, carefully checking if the word “if” should be “if” or “iff”.

I have no idea if this story is true or not, but it makes a great story to tell students.

My Favorite One-Liners: Part 34

In this series, I’m compiling some of the quips and one-liners that I’ll use with my students to hopefully make my lessons more memorable for them.

Suppose that my students need to prove a theorem like “Let n be an integer. Then n is odd if and only if n^2 is odd.” I’ll ask my students, “What is the structure of this proof?”

The key is the phrase “if and only if”. So this theorem requires two proofs:

  • Assume that n is odd, and show that n^2 is odd.
  • Assume that n^2 is odd, and show that n is odd.

I call this a blue-light special: Two for the price of one. Then we get down to the business of proving both directions of the theorem.

I’ll also use the phrase “blue-light special” to refer to the conclusion of the conjugate root theorem: if a polynomial f with real coefficients has a complex root z, then \overline{z} is also a root. It’s a blue-light special: two for the price of one.