**ERIC Number:**ED365524

**Record Type:**RIE

**Publication Date:**1991

**Pages:**35

**Abstractor:**N/A

**Reference Count:**N/A

**ISBN:**N/A

**ISSN:**N/A

Constructing and Implementing Algorithms for the Teaching of Propositional Calculus by Computer.

Clark, Kevin Andrew

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 proof evaluation. This assistance exists in the form of correcting user input and giving hints that will lead to the correct evaluation of the proof. The program also has the ability to suggest the correct axiom to use in a line of proof. The program is able to evaluate any proof that uses the elementary rules of logic, such as logical equivalence, logical implication, and rules of inference. (Author)

**Publication Type:**Reports - Research

**Education Level:**N/A

**Audience:**N/A

**Language:**English

**Sponsor:**N/A

**Authoring Institution:**N/A

**Identifiers:**Propositional Logic