Tutorial
Excerpt
Screen shot of Help Viewer. Includes interactive tutorial.
Table of Contents
Getting Started View excerpt (first four 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: The Set of Natural Numbers?
- Example 10: Proof by Induction
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. Examples 9 and 10 introduce elementary number theory and proof by induction. In addition to these examples, there are 20 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 methods of proof at university, college or advanced high school levels.