Symbolic Logic On the TI-92

Lin McMullin
Mathematics Department Representative,
Burnt Hills - Ballston Lake High School
Lake Hill Road, Burnt Hills NY 12027.
Phone: 518 - 399 - 9141 ext. 221.
e-mail: LnMcMullin@aol.com

ABSTRACT

Symbolic Logic is taught from ninth grade through graduate school. The TI-92 has built-in operations which can be used in the study of symbolic logic. The machine is capable of finding truth values, building truth tables and "proving" simple statements. This paper discusses and illustrates how to do the basic problems encountered in beginning work in symbolic logic; use it as a reference for


Paper is available in the following formats: