The LOGIC DAEMON

Premises (comma separated) Conclusion

Enter your proof below then
or



You can apply primitive rules in a short form using "do" statements

[Restart] [Example] [Credits]