0
Thank you for your review
http://www.macupdate.com/download/32552/deductions132.dmg
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

Requirements

Mac OS X 10.5 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Leave a Review

Deductions User Discussion

To leave a comment, you need to be logged in.
reviews_anchor
Sort by: Time | Smiles
There are no Ratings for this App yet.
0 0

Ratings

Overall
(0)
Current Version (1.x)
(0)

Details

Downloads 4,576
Version Downloads 1,174
License Shareware
Date 30 Sep 2010
Platform OS X / PPC 32 / Intel 32
Price $24.99
Learn how MacUpdate Desktop makes installing apps from MacUpdate.com one-click easy.
Next time, install Deductions with 1-click

Learn how MacUpdate Desktop can install apps on MacUpdate with the simple click of the Install apps with MacUpdate Desktop icon. Plus, keep all your apps updated.

download install