Aside from being entertaining, these DIRECTV commercials offer at least two important lessons about logic.

[youtube=http://www.youtube.com/watch?v=c-zG5U0v3gU&feature=relmfu]

For starters, let's name the propositions listed in the video:

q: your cable is on the fritzr: you get frustrateds: your daughter imitatest: your daughter gets thrown out of schoolu: your daughter meets undesirablesv: your daughter ties the knot with undesirablesw: you get a grandson with a dog collar

So the ad takes us through the following sequence of conditional statements:

$latex begin{array}{lcl} q & longrightarrow & r \ r & longrightarrow & s \ s & longrightarrow & t \ t & longrightarrow & u \ u & longrightarrow & v \ v & longrightarrow & w end{array}&s=2$

Let's be generous and accept that each statement, individually, is true. Then we're led sequentially along a nice string of propositions, beginning at *q* and ending with *w*. Actually, there's one more tacit proposition, **p****: you have cable**. So the commercial's (implicit + explicit) logic looks something like this:

$latex p longrightarrow q longrightarrow r longrightarrow s longrightarrow t longrightarrow u longrightarrow v longrightarrow w&s=2$

And therein our first logic lesson: **conditional statements respect transitivity**. We can follow an unbroken path of propositions all the way from *p* to *w*, which means we can replace that whole string of implications with the statement, "If you have cable, then you'll get a grandson with a dog collar." Symbolically:

$latex p longrightarrow w&s=2$

We've accepted all the statements along the way, so we accept this one as well, which is both funny and logically sound. DIRECTV has successfully made fun of the cable companies, and we've had a chuckle. And if the commercial were to end there, everything would be hunky dory. But it *doesn't* end there. It ends on the line, "Don't have a grandson with a dog collar; get rid of cable..." Which is to say, "If you don't have cable, you won't have a grandson with a dog collar." Or...

$latex neg p longrightarrow neg w&s=2$

But that's incorrect! And that's our second lesson: the technical name for this fallacy is denying the antecedent, or the **inverse error**. To give you a more intuitive example, consider the propositions:

p: you are a dogq: you are a mammal

$latex p longrightarrow q&s=2$: "If you are a dog, then you are a mammal." **True**.

$latex neg p longrightarrow neg q&s=2$: "If you are not a dog, then you are not a mammal." **Obviously false**.

It might very well be true that having cable leads to a grandson with a dog collar, but that certainly doesn't mean getting rid of cable is enough to avoid one.

ChristopherTabitha would be so proud of you.

Chris LustoPlease, this is JV stuff for Tabitha by now. She'd be all like, "Everybody knows that a true conditional doesn't necessarily imply a true inverse. After all, Clifford's obviously not a muppet."

CampfireFilmFoundatn (@CampfireFF)I just like the fact that you're using a nicely produced ad in mathematics

Chris LustoI wish I could say that it was a consideration, but I'm glad you approve.