Add an exercise for modus ponens logic.

Very basic, but it cycles through different letters for the logical statements so the answer isn't always "Q"