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.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.