Tutorial Excerpt
Screen shot of Help Viewer. Includes interactive tutorial.
Table of ContentsGetting Started View excerpt (first three pages)
- Example 1: The Commutativity of AND
- Line 1
- Line 2-3
- Line 4
- Line 5
- Exercises
- Example 2: The Transitivity of IMPLIES
- Example 3: The Commutativity of OR
- Example 4: The Distributivity of AND Over OR
- Example 5: The Transitivity of Equality
- Example 6: The Composition of Functions
- Example 7: Russell's Barber Paradox
- Example 8: The Paradox of the Universal Set
- Example 9: What is a Number? (New!)
Examples 1 through 4 introduce the concept of a formal proof using propositional logic. Examples 5 through 7 introduce predicate logic and some elements of algebra. Example 8 introduces fundamental concepts of modern set theory. Example 9 introduces Peano's Axioms and proof by induction. In addition to these examples, there are 15 exercises (proofs) with hints and full solutions for each.
This fully interactive, self-study tutorial that can serve as an introduction to symbolic logic and the foundations of mathematics at the high school, college or university levels.