Logic 2010

Free
Logic 2010 is a system for computer and Internet-assisted classroom instruction.
Rating
Latest version:
1.0 See all
Developer:
Download
Free   51.2 MB
Used by
Freeware
Info updated on:

Review

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.

Share your experience:
Write a review about this app

Screenshot (1)

Comments

User

Your vote: