Thank you for your review
$24 99
Email me when discounted: 
Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints about how to complete proofs, and comes with a set of video tutorials that explain and review several challenging concepts in logic.

Deductions aims to solve the three problems that make proofs the most difficult component of formal logic courses: not knowing whether rules are applied correctly, getting stuck in the middle of a proof, and more...

What's New

Version 1.3.2:
  • added the first four video tutorials from a new series of screencasts entitled "So You Want to Learn a Little Logic":
    • Part 1: Introduction
    • Part 2: Soundness and Validity
    • Part 3: Invalidity
    • Part 4: The Invalidity Test


Mac OS X 10.5 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Get these apps for
Leave a Review

Deductions User Discussion

To leave a comment, you need to be logged in.
Sort by: Time | Smiles
Deductions needs a review. Be the first to review this app and get the discussion started!
Deductions needs a rating. Be the first to rate this app and get the discussion started!
0 0


Current Version (1.x)


Downloads 4,710
Version Downloads 1,308
License Shareware
Date 30 Sep 2010
Platform OS X / PPC 32 / Intel 32
Price $24.99
download install download install purchase purchase
Save 91% The Fall Bundle 11 Awesome Apps • 1 Low Price