DC Proof

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
     

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. In addition to these examples, there are 14 exercises (proofs) with optional hints and full solutions.

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.
 

Home