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

• Built in operators
• Truth tables
• Defining other logical operators
• "Proofs"
• Teaching Suggestions

Paper is available in the following formats:

• Acrobat PDF [44 KB]
• Microsoft Word 7.0 [259 KB]
• HTML