The Rules of the Hilbert-Style Proof Builder

Open the applet in this window

This help is simply a brief summary of the rules. If you need help with the use of the applet go to Help with Applet. If you need help with the formal language go to Help with Language. Note that this text is not an introduction to formal logic. It presupposes some acquaintance with a deductive system.

© Christian Gottschall / / 2012-03-31 01:19:53