The University of Alabama

Logic Daemon

Premises (comma separated) Conclusion
|-

Enter your proof below then
or
Now you can apply the primitive rules in a short form using "do" statements


[Restart] [Example]

The LOGIC DAEMON
[Credits]