Nuestra biblioteca de programas le ofrece una descarga gratuita de Logic 2010 1.0. El auténtico artífice de este programa sin coste es edu.ucla.phil.logic. La versión del programa más usada es 1.0. El nombre de archivo de instalación del programa más común es: installlogic2010_mac_20141.zip. El archivo de instalación más reciente requiere 72.2 MB en disco. Logic 2010 forma parte del grupo de programas Educación y Ciencia.
Del desarrollador:
Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. The program contains modules for doing derivations, symbolizations, truth tables, invalidity by finite models, and parsing. Students may create their own User Problems, and in the derivation module, students can create and justify their own rules.
Quizás esté interesado en probar otros programas, como Logic Pro X, Apple Logic Pro o Logicly, que podrían ser similares a Logic 2010.