PRINT    

Truth Tables

By David A. Smith

In this topic we describe what truth tables are and why we need them. We define tautologies, contradictions, and contingencies, and we show examples of each.  But first we start with what a mathematical statement is and then we show how to connect them together. Once "And", "Or", "Negation", and "Implication" are understood, we will show how to build propositions using these connectives.  The usual contrapositive and converse propositions are defined and many more examples are shown.

Math Logic Books