Five programs for practicing deductive logic are available here. They are:

 TUTOR		(when using proof software for the first time)
 PROOF		(sentence or predicate logic proofs)
 PROP		(truth tables or sentence logic translations)
 PREDTRAN	(predicate logic translation)
 FIRSTORD	(exercises in predicate logic validity)
 



To install the programs:



1. Download the file PTutor.zip (DosBox version) or ProofTutor.zip (For JDosBox version)

2. Double click on the .zip file. Unzip this file to your desktop (or any where else you would like it).


To run logic programs in the JDosBox version,  double click on the the ProofTutor folder, double click on the file ClickMeToRun.jar and wait a few seconds.
 To quit, click the red X in upper corner of the window.

To run the DosBox version, double click on the Ptutor folder, double click on ProofTutor.bat file. To make the program full screen, hold down "ALT" and press "ENTER." 


Manuals for the five programs are available in the folder Logic Program Manuals.



If you find errors in this program or have suggestions, please write to dialekmat@gmail.com.



These logic programs and manuals are copyright © Thomas Weston, various years, but permission is hereby granted to use this software for any non-commercial, education purpose. 

This software has been produced in the hope it will prove useful and be without serious bugs. The software is, however, offered "as is" and is not warrantied in any way to be fit for any purpose. By using it you agree to assume all liability for any bugs, damage to files or programs, or other misbehavior your may find it to have.

This distribution for Microsoft Windows uses the software from the DOSBOX project (http://dosbox.com) which is distributed under a GPL license. The version used here has been ported to java by the JDOSBOX project, (http://jdosbox.sourceforge.net). Thanks to the authors of this open source software. 



Thomas Weston, 
January, 2012