Sentential Logic and

Deductive Reasoning

Source Code

logic.zip	Zipped source for PC compatibility.
logic.sit.hqx	Macintosh compressed source.
logic_siow.sit.hqx	Macintosh precompiled executable.
logic.w32.rar	PC precompiled executable.

* All source code is written in C++.

Screen Shots

Screen Shot 1

Screen Shot 2

Screen Shot 3

 

Documentation

logic.rtf	Documentation in Rich Text Format.
logic.txt	Documentation in plain text.
logic.htm	Documentation in HTML.