Fitch Language Help

(this text by Steven DeHaven, Calgary, and Christian Gottschall, Vienna)

Open the applet in this window

This help neither explains the deductive system nor the Fitch proof builder applet itself. If you need help with either of them go to Help with Rules or Help with Applet. The sole purpose of this text is to explain the formal language understood by the Fitch Proof Builder applet.


© Christian Gottschall / christian.gottschall@posteo.de / 2012-03-31 01:19:53