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.