Ok, so in my Real Analysis class, we’re finally getting down into the nitty-gritty of discussing mathematical grammar for proofs. We’ve been discussing statements and their negations, converses, and contrapositives. We began with two statements:

P: I eat it.
Q: I see it.

Now, if we combine the two statements, so that P implies Q, we get:

bq. If I see it, then I eat it.

or

bq. I only eat it if I see it.

If we flip them so that Q implies P, we get:

bq. I eat everything I see.

or

bq. I only see it if I eat it.

Our professor called this his Lewis Carroll example. I loved it.

SubscribeFor Updates

Join my mailing list to receive new content and updates direct to your inbox.

You have Successfully Subscribed!