The Rules of the Lemmon System

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

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 got to Help with Language. Note that this text is not an introduction to formal logic. It presupposes some acquaintance with a deductive system. If you are completely new to natural deduction, you should try to get hold of a copy of E.J. Lemmon's "Beginning Logic" and read the introductory chapters.

Rules not described here are required for predicate logic. They will be treated at a later time.


© Christian Gottschall / christian.gottschall@univie.ac.at / 2012-03-31 01:19:53