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