Playground

Argument

Symbol key & formalization

Premises Conclusion

System Premises Conclusion

Choose a method to open your SHOW line. You can also use the form or a command such as show conc cd. The guided tutorial explains how to choose.

Add a line using the form

Available rules & command reference

Help?

Ask about this problem

Start this proof again?

Your current unfinished work will be cleared. Completed exercise credit is kept.

Save progress across devices.

UsernamePassword

At least 10 characters. Password recovery is not available.

Signed in as .

Progress settings

This permanently clears your exercise results, XP, streaks, unfinished work, and skill check. Your account and challenge records stay.

This cannot be undone.