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.
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 Jape?http://jape.comlab.ox.ac.uk:8080/jape/Had a play with it a few days ago – the natural deduction end works well.