Hyperproof: Logical Reasoning with Diagrams

Jon Barwise and J. Etchemendy

Hyperproof is a Macintosh program designed to help students learn how to reason logically, using either sentenccs of first-order logic, or diagrams, or both.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.