Logic 2010 1.0

Logic 2010 is a system for computer and Internet-assisted classroom instruction.

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.

This program received 1 award

This software was checked for viruses and was found to be clean. Click here to see antivirus report.

trusted DOWNLOAD 72.2 MB Free