Tutorial Excerpt


       Screen shot of Help Viewer. Includes interactive tutorial.

Table of Contents

Getting 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.