Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

An Elementary Logic Package
Author

M. Watson
Journal / Anthology

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

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.
Subject

*Mathematics > Foundations of Mathematics > Logic
URL

http://www.mathematica-journal.com/issue/v1i1/