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:

This software needs the Java runtime (at least). If you don't have Java on your MAC, you can download it FREE from Oracle, at http://www.oracle.com/technetwork/java/javase/downloads/index.html After you install Java, here are the steps for the logic software:

1. Download the file ProofTutor.dmg

2. Double click on the ProofTutor.dmg file. This will create a white file on your desktop.
3. Double click on the while file, and when it opens, drag the Proof Tutor Logic Programs folder to your applications folder.

To run logic programs, double click on the the Proof Tutor Logic Programs folder, double click on the file ClickMeToRun.jar and wait a few seconds. If you have a newer MAC, you will need to hold down the control key when you click on ClickMeToRun.jar, and select "open" in the box that appears. This is necessary because this software is not published by someone that Apple knows about. 
To quit,  click the red X in upper corner of the window.

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 MAC OSX and Windows 7, 64 bit, use 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, 
February, 2018