The Mathematica Journal

Search

About the Journal
Current Issue
Editorial Policy
Submissions
Back Issues
Contact Information

index.html

An Elementary Logic Package

Volume 1, Issue 1
Summer 1990
Mark J. Watson, Hillsdale College
 

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.

     
About Mathematica 
© Wolfram Media, Inc. All rights reserved.