Representing Propositional Connectives with Modular Polynomials

Document Type


Publication Date

April 2010

Faculty Sponsor

Dr. Andres Caicedo


This paper explores the relationship between n-valued propositional logic connectives and modular polynomials, namely the representing of logic connectives using modular polynomials. The case for n=2 is explored and a method is developed for finding the coefficients of the unique polynomial that represents any given binary logic connective. Examples are then given for using the modular polynomial representations of connectives to determine the validity of propositional arguments. A similar procedure is shown for when n=3 and an evaluation of the axioms of Lukasiewicz's 3-valued logic is given using modular polynomials. The general case is explored to determine for which values of n the representation holds. It is then shown that mod n polynomial functions are sufficient for representing any n-valued logic connective if and only if n is prime.

This document is currently not available here.