Thank you for your review
24.99 $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

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

Suggest other similar software
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections!

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!


Current Version (1.x)


Downloads 4,751
Version Downloads 1,349
License Shareware
Date 30 Sep 2010
Platform OS X / PPC 32 / Intel 32
Price $24.99
download install purchase purchase