Hyperproof: Logical Reasoning with Diagrams
Jon Barwise, John Etchemendy · 1992
students learn how to reason logically, using either sentenccs of first-order logic, or diagrams, or both. 1 An ilhistration of a typical Hyperproof screen is shown in Figure 1. Hyperproofis a descendant of our earlier courseware Tarski’s World [2]. Tarski’s World uses diagrams to help teach the language of first-order logic, and has been very successful. Hyperproof extends the ideas embodied in Tarski’s World into tile realm of reasoning. It is intended to be part of a course aimed at teaching students to solve analytical reasoning puzzles and logic problems by whatever means of representation are most appropriate to the problem at hand. On our view, an important part of solving such a problem is figuring out what representational scheme to use,