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.
New Natural Deduction Software for Mac
by
Tags:
Comments
One response to “New Natural Deduction Software for Mac”
-
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.
Leave a Reply to Andy Cancel reply