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