DC Proof application was designed to be a PC-based, educational software.
DC Proof is considered to be an intuitive, interactive window into the essence of modern logic and mathematics that will enables students to write proofs using convenient pull-down menus of rules and axioms, each line verified as it is entered.

Here are some key features of "DC Proof":

· Includes fully interactive, self-study tutorial that can serve as an introduction to symbolic logic and the foundations of mathematics at the high school, college or university levels
· Color-coded variables indicate at a glance what kind of generalizations can be made, and when conclusions may be drawn


Requirements:

· MS Internet Explorer, Version 4 or later