Comic #2082: 2011-01-25

View Original Comic

Description

Here’s a detailed description of the comic:

Title: "Know Your Logical Proofs"

1. Direct Proof:
   • If P then Q
     ( P \rightarrow Q )
     ( P )
     Therefore Q
     ( \therefore Q )
2. Proof by Contraposition:
   • If P then Q
     ( P \rightarrow Q )
     Not Q
     ( \neg Q )
     Therefore not P
     ( \therefore \neg P )
3. Proof by Contradiction:
   • If not P then contradiction
     ( \neg P \rightarrow F )
     Therefore P
     ( \therefore P )
4. Proof by Tradition:
   • My dad Q
   • And his dad Q
   • And his dad Q
   • And I’ll be damned if my son R!
   • Therefore Q
     ( \therefore Q )
5. Proof by Intimidation:
   • If P then Q
   • First person to say "not P" gets my foot up his ass
   • Therefore Q
     ( \therefore Q )
6. Proof by Distraction:
   • If P then Q
   • "Hey, look at that!"
   • Therefore Q
     ( \therefore Q )
7. Proof by Extortion:
   • If P then Q
   • "That’s a nice family you got. It’d be real sad if something were to… happen to them."
   • Therefore Q
     ( \therefore Q )
8. Proof by Erection:
   • If P then Q
   • "Man, P and Q kinda look like boobs."
   • "I’m so lonely."
   • Therefore P and Q and also ( (.) )
     ( \therefore P \land Q )

Each section is color-coded and presented in a playful, humorous tone, explaining different logical proof methods in a tongue-in-cheek manner.