Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.

Abstract: In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. The first prover is for ...

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine ...

A presentation is provided of a structural approach for the concur rent teaching of introductory propositional calculus and set theory. The existence of isomorphism is shown between each law (or ...

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.

Persistent Link: https://ieeexplore.ieee.org/servlet/opac?punumber=10389815 ...