University of Calgary

New Natural Deduction Software for Mac

Submitted by Richard Zach on October 2, 2009 - 2:44am.

Deductions is a program that is designed to help understand and construct proofs in natural deduction (in the Logic Book style). It runs only on Macs, so I couldn't try it out, but the videos look interesting.

Have you tried
Submitted by Andy (not verified) on October 8, 2009 - 1:00pm.

Have you tried Jape?

http://jape.comlab.ox.ac.uk:8080/jape/

Had a play with it a few days ago - the natural deduction end works well.