Abstract

One might intuitively expect that logic would lend itself to programmed teaching. This text shows that it does. The authors have provided a carefully worked out program for the propositional calculus. Considerable emphasis is placed on the intuitive plausibility of moves. The student is first introduced to Principia Mathematica notation, then shown the advantages of Polish, which is used throughout the remainder of the text. The program includes techniques for discovering proofs and a thorough discussion of validity.—R. J. W.