Logic software designed to help students learn and construct natural deduction proofs in formal logic.

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 uncertainty about the rules and strategies. Deductions addresses these issues by flagging errors, including a hint engine to make suggestions about how to complete a proof, and having multimedia tutorials to help students through complex rules.

Features Highlights:

1. Flagging Errors - Flags errors in proofs as soon as they occur, preventing students from practising mistakes.
2. Hint Engine - Provides hints about how to complete proofs.
3. Multimedia Tutorials - Comes with a set of multimedia tutorials, explaining difficult rules.
4. Flexibility - Designed to work with many different logic systems and textbooks.
5. Modern Design - Provides a modern interface, leveraging OS X technologies.
6. More Efficient than Paper - Takes care of these housekeeping tasks by automatically adjusting proofs when lines are added, removed or moved.