Thank you for your review
24.99 $24 99

Top community discussions about Deductions

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 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

Ratings
Overall
(0)
Current Version (1.x)
(0)
Details
Downloads 4,838
Version Downloads 1,436
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.
reviews_anchor
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