∃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.

How to register

  1. Go to the registration site

  2. Enter your university student email (number@sms.ed.ac.uk) and enter an easy to remember password.


How to use

  1. Open Chome web browser. The application is optimised for use on google Chome.

  2. Go to the login site, and login.

  3. Consult list of ∃LOGIC inference rules.


Users are encouraged to send problems and feedback to Henri Maurer (s1345815@sms.ed.ac.uk).