Mathematica 9 is now available

Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

An Elementary Logic Package

M. Watson
Journal / Anthology

The Mathematica Journal
Year: 1990
Volume: 1
Issue: 1
Page range: 85-91

We describe a Mathematica package, Logic.m, that handles propositional calculus. It supports the five basic logical connectives, "if-then," "and," "or," "if," "if and only if," and "not" in functional form, using T and F for their arguments and values. These functions parallel the standard Mathematica logical connectives but serve a different purpose. Also included are commands to translate logical expressions from functional, Polish, and Principia notation into one another; a truth table command for user-defined functions; and commands to test whether a logical expression is tautologous, contradictory, or contingent. The implementation of these functions is discussed in some detail. Finally, we sketch a package (under development) for the construction of deductive proofs.

*Mathematics > Foundations of Mathematics > Logic