These are the exercises currently available:

• 1. Identify the main connective
• 2. Evaluate in the Boolean structure
• 3. Evaluate in the strong Kleene structure
• 4. Evaluate in the Dunn-Belnap structure
• 5. Give a classical counterexample, if there is one
• 6. Give a counterexample, if there is one, in the indicated matrix
• 7. Give a proof that meets the given requirements
• 8. Give an NJ proof of a given argument
• 9. Provide a term alpha-equivalent to a given term
• 10. Beta reduce a term until it can't be reduced farther

The proof playground is not an exercise, but a place where you can practice entering proofs!