An Elementary Logic Package

Volume 1, Issue 1
Summer 1990

We describe a Mathematica package, Logic.m, that handles propositional calculus. It supports the five basic logical connectives, "if-then," "and," "or," "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.