Schools are facing increasing demands to prepare students for rapid economic, environmental and social changes, for jobs that have not yet been created, for technologies that have not yet been invented, and to solve social problems that have not yet been anticipated. Underpinning the E2030 project is the premise that education needs to do more…

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…