Envelopes and Logic

Remember envelopes?

I used to keep a box of them sitting on the corner of my desk. Back when I used the United States Postal Service.

Now everything is electronic. I file my taxes online. I receive and pay my bills online. I send zillions of emails.

And, as of this writing, I don’t even know how much a stamp costs.

Even Christmas cards are rare. You remember . . . cardboard folded and embossed with pictures of Jolly Old Saint Nick, The Baby Jesus, or angels singing “Hosanna”? We used to get enough cards each year to fill a shoe box. This year, we’ve gotten two. Either people hate us, have forgotten about us, or they just aren’t doing the mail thing anymore.

But this morning, I needed an envelope. I had some important documents that needed to be snail mailed. Couldn’t be submitted online. Couldn’t be faxed. Nothing that simple. Instead, I had to rummage through the trash and re-gift a junk mail envelope. Those junk mail people. Purists, I tell ya. They still use the post office. And for once, I’m grateful . . .

In other news . . .

I’m eyeballs deep in finals week. Got one in, oh, about two hours. And I still need to eat breakfast. Since I’m in a rush, I’d appreciate it if someone would please send me a natural deduction proof for the following tautology:

((p -> q) v (p -> r)) <-> (p -> (q v r))

Anyone . . . ?

I’ll bake you cookies! And send you a Christmas card . . .

[photo credit]