MacLogic

It teaches you how to do natural deduction proofs in a variety of logics.

trusted DOWNLOAD 38.1 MB Free

MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics).

The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.

This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted DOWNLOAD 38.1 MB Free
Specifications
Developer:
fitelson
Latest version:
All versions
License type:
Freeware
Questions & answers