PropGrasp propositional calculus of Boolean expressions software system

In most Software Engineering, Computer Science, and IT degree programs, at least one required course includes material on predicate logic. Research indicates that students who have a firm grasp of formal methods and their underlying mathematics (including predicate logic) are more successful and better programmers than those who do not. Predicate logic is the mathematical discipline concerned with the nature of formal mathematical proof. Developing such proofs is an error-prone process, and a mistake made at one step of a proof (but not detected until later) typically results in much wasted time and effort. This observation is particularly relevant to students who are just learning how to construct proofs. Several "theorem proving" programs are described in the literature. However, few of these are designed to help students learn how to devise proofs. Hence, they are of limited use for that purpose. PropGrasp, described herein, is a software package intended to help students learn how to devise equational logic-style proofs in the realm of propositional logic