∃LOGIC is an web-based application for use in the teaching of first-order logic. The application provides various exercises with immediate and automated corrections, including detailed error messages, hints, and explanations with an intuitive user interface. The program is used as part of the Logic course at the University of Edinburgh.
Go to the registration site
Enter your university student email (email@example.com) and enter an easy to remember password.
Open Chome web browser. The application is optimised for use on google Chome.
Go to the login site, and login.
Consult list of ∃LOGIC inference rules.
Users are encouraged to send problems and feedback to Henri Maurer (firstname.lastname@example.org).