MacLogic
MacLogic 2.3 for Mac can be downloaded from our software library for free. The program is categorized as Education Tools. Our antivirus check shows that this Mac download is safe. This free software for Mac OS X is an intellectual property of fitelson. The following version: 2.3 is the most frequently downloaded one by the program users. The MacLogic installer is commonly called maclogic_osx_ii.zip. The most recent setup file that can be downloaded is 38.1 MB in size.
From the developer:
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.
You may want to check out more Mac applications, such as DRPU Mac Log Manager, which might be similar to MacLogic.
Comments
Please add a comment explaining the reasoning behind your vote.