Deductions 1.3

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