Intro: Truth Tables

Contents: Introduction to propositional notation and logical operators.

45 built in exercises of assorted propositions and deductive inferences.

A worksheet where the user can either pull in an exercise or enter a proposition

or deductive inference.

A truth table calculator that will set up the table, step through it and determine whether

the proposition is a tautology, self contradiction or contingent. For a logical inference

it will determine whether it is valid or invalid.