Thank you for your review
24.99 $24 99
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 in Deductions

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

Requirements for Deductions

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! + Create a Collection

Deductions User Discussion

Current Version (1.x)
Downloads 4,890
Version Downloads 1,488
License Shareware
Date 30 Sep 2010
Platform OS X / PPC 32 / Intel 32
Price $24.99
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!
MacUpdate Promo