The University of Alabama

Logic Daemon

Enter a sequent you will attempt to prove
Premises (comma separated) Conclusion
|-

Enter your proof below then

Now you can apply the primitive rules in a short form using "do" statements


[Restart] [Example]

The LOGIC DAEMON
[Credits]