Logic-Proof Studio

This app includes the following:

1. An introduction which goes over a proof and shows how it can be thought of as a game to hone deductive skills.

2. A work area where proofs are constructed.

3. The menu bar in the work area has icons for accessing:

a. Built in exercises.

b. Entering an exercise from a logic text.

c. User Doc that walks through a proof with this app.

d. Hints (a work in progress)

e. Equivalency: gives the most common equivalencies of a line in the proof.

f. Well Formed: explains how to enter an exercise.

g. Key terms.

h. The 18 inference rules.

I. Selecting an inference rule to be applied to a new step in the proof