Logic-Proof Studio APK
App information
Version 1.0 (#10)
Updated 2017-11-14
APK Size 2.3 MB
Requires Android Android 6.0+ (Marshmallow)
Offered by John Saetti
Category Free Education App
App id calculator.sentential.logic.myapplication
Developer's notes This is an app for working on proofs in propositional logic.
Screenshot
Click on the image to see full size
Table of contents
Latest updates
What's new in Logic-Proof Studio 1.0
Editor's review
Download the latest Logic-Proof Studio application, version 1.0, compatible with Windows 10/11 (using emulators such as Bluestacks), Android devices. This free Education app is developed by John Saetti and is easy to download and install.
Previous versions, including 1.0, are also available. If you need help or have any problems, please let us know.
Description
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
Ratings and Reviews
Rating: 2.0/5 based on Less than 100 reviews
(*) is required
Previous versions
Similar to Logic-Proof Studio
More from John Saetti
Top download apps
