Argues that the vast majority of adults have no use for the specialized mathematics taught in high schools and required by colleges--algebra, geometry, or calculus. Suggests that colleges should accept applicants who have studied percents, formulas, logic, computer commands, and basic statistics. (TE)

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…