Predicate Logic and Popular Culture (Part 95): The Police

Let B(t) be the proposition “You take a breath at time t,” let M(t) be the proposition “You make a move at time t,” let N(t) be the proposition “You break a bond at time t,” let S(t) be the proposition “You take a step at time t,” and let W(t) be the proposition “I watch you at time t.” Translate the logical statement

\forall t ((B(t) \lor M(t) \lor N(t) \lor W(t)) \Rightarrow W(t)).

This matches the opening lines of this iconic song by The Police.

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 94): Sweeney Todd

Let $p$ be the proposition “I am around you,” and let H(x) be the proposition “x will harm you.” Translate the logical statement

p \Rightarrow \lnot \exists x H(x).

This matches the opening lines of this wonderful song from the musical Sweeney Todd.

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 93): Annie Get Your Gun

Let B(x) be the proposition “x is a business,” and let L(x,y) be the proposition “x is like y.” Translate the logical statement

\lnot \exists x (B(x) \land x \ne \hbox{show business} \land L(x, \hbox{show business})).

This matches the showstopper from Annie Get Your Gun:

 

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.

Engaging students: Combinations

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 again comes from my former student Heidee Nicoll. Her topic, from probability: combinations.

green line

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

As a teacher, I would give my students an activity where, with a partner, they would be in charge of creating an ice cream shop.  Each ice cream shop has large cones, which can hold two scoops of ice cream, and six different flavors of ice cream.  Each shop would be required to make a list of all the different cone options available.  (Note: cones with two scoops of the same flavor are not allowed.)  The groups would calculate the total number of combinations, and try to find any patterns in their work.  I would ask them how to calculate the number of options for 7 flavors of ice cream, and then ask them to find a general rule or pattern for calculating the total for n flavors, and have them try their formula a few times to see if it gives them the correct answer.  As a bonus, I would also ask them how many flavors of ice cream they would need to be able to advertise at least 100 different cone combinations.

 

green line

What interesting things can you say about the people who contributed to the discovery and/or the development of this topic?

Historia Mathematica, a scientific journal, has an article called “The roots of combinatorics,” which describes records of ancient civilizations’ work in combinations and permutations.  I would share with my students the first part of this description of the medical treatise of Susruta, without reading the last sentence that gives the answers:

“It seems that, from a very early time, the Hindus became accustomed to considering questions involving permutations and combinations. A typical example occurs in the medical treatise of Susruta, which may be as old as the 6th century B.C., although it is difficult to date with any certainty. In Chapter LX111 of an English translation [Bishnagratna 19631] we find a discussion of the various kinds of taste which can be made by combining six basic qualities: sweet, acid, saline, pungent, bitter, and astringent. There is a systematic list of combinations: six taken separately, fifteen in twos, twenty in threes, fifteen in fours, six in fives, and one taken all together” (Biggs 114).

I would ask them to estimate the number of combinations of any size group within those “six basic qualities” without doing any actual calculations.  Once they had all made their estimates, as a class we would do the calculations and comment on the accuracy of our earlier estimates.

 

 

green line

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

Sonic commercials boast that their fast food restaurant offers more than 168,000 drink combinations.  This commercial shows a man trying to calculate the total number of options after buying a drink:

I would show my students the commercial, as well as images of Sonic menus and advertisements for their drinks, such as the following:

sonic1

sonic2

sonic3

sonic4

The Wall Street Journal also has an article about the accuracy of the company’s claim to 168,000 drink options, found at http://blogs.wsj.com/numbers/counting-the-drink-combos-at-a-sonic-drive-in-230/.    The author talks about the number of base soft drinks and additional flavorings available, and says that according to the math, Sonic’s number should be well over 168,000 and closer to 700,000.  He describes the claim of a publicist who works for Sonic that 168,000 was the number of options available for no more than 6 add-ins, which the company deemed a reasonable number.  The article also notes the difference between reasonable combinations and literally all combinations, which could spur a good discussion in the classroom about context and its importance in real world problems.

 

References

 

Biggs, N.l. “The Roots of Combinatorics.” Historia Mathematica 6.2 (1979): 109-36. Web. 08 Sept. 2016.

 

Carl Bialik. “Counting the Drink Combos at a Sonic Drive-In.” The Wall Street Journal. N.p., 27 Nov. 2007. Web. 08 Sept. 2016.

 

http://www.youtube.com/channel/UC9fSZEMOuJjptiXVsYf8SqA. “TV Commercial Spot – Sonic Drive In Sonic Splash Sodas – Calculator Phone – This Is How You Sonic.” YouTube. YouTube, 29 Oct. 2014. Web. 08 Sept. 2016.

Combinatorics and Jason’s Deli: 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 advertisement that I saw in Jason’s Deli.

Part 1: The advertisement for the Jason’s Deli salad bar.

Part 2: Correct calculation of the number of salad bar combinations.

Part 3: Incorrect calculation of how long it would take to eat this many combinations.

 

 

What I Learned from Reading “Gamma: Exploring Euler’s Constant” by Julian Havil: Part 9

When teaching students mathematical induction, the following series (well, at least the first two or three) are used as typical examples:

1 + 2 + 3 + \dots + n = \displaystyle \frac{n(n+1)}{2}

1^2 + 2^2 + 3^2 + \dots + n^2 = \displaystyle \frac{n(n+1)(2n+1)}{6}

1^3 + 2^3 + 3^3 + \dots + n^3 = \displaystyle \frac{n^2(n+1)^2}{4}

1^4 + 2^4 + 3^4 + \dots + n^4 = \displaystyle \frac{n(n+1)(2n+1)(3n^2+3n-1)}{30}

What I didn’t know (Gamma, page 81) is that Johann Faulhaber published the following cute result in 1631 (see also Wikipedia): If k is odd, then

1^k + 2^k + 3^k + \dots + n^k = f_k(n(n+1)),

where f_k is a polynomial. For example, to match the above examples, f_1(x) = x/2 and f_3(x) = x^2/4. Furthermore, if k is even, then

1^k + 2^k + 3^k + \dots + n^k = (2n+1) f_k(n(n+1)),

where again f_k is a polynomial. For example, to match the above examples, f_2(x) = x/6 and f_3(x) = x(3x-1)/30.

green line

When I researching for my series of posts on conditional convergence, especially examples related to the constant \gamma, the reference Gamma: Exploring Euler’s Constant by Julian Havil kept popping up. Finally, I decided to splurge for the book, expecting a decent popular account of this number. After all, I’m a professional mathematician, and I took a graduate level class in analytic number theory. In short, I don’t expect to learn a whole lot when reading a popular science book other than perhaps some new pedagogical insights.

Boy, was I wrong. As I turned every page, it seemed I hit a new factoid that I had not known before.

In this series, I’d like to compile some of my favorites — while giving the book a very high recommendation.

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

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.

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

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.

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)

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.

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.

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.

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