ENGLISH

Hyperproof

By Jon Barwise , John Etchemendy

Book information

Publisher
CSLI Publications
Year
1994
ISBN
1-881526-11-9, 110-119-125-2
LCC
QA76
Language
english
Format
DJVU
Filesize
2 MB (2499226 bytes)
Series
Center for the Study of Language and Information - CSLI Lecture Notes 42
Edition
1
Pages
266\266
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2011-01-08 23:22:23

Description

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.

Similar books