Propositional and Boolean Logic

1. Propositional Logic:
   • Waner, Stefan; & Costenoble, Steven R. (2001), "Statements and Logical Operators"
     • Interactive tutorial.
     • Click on the right arrow to continue with the tutorial

   • Wintergerst, Andreas; & Zschornak, Gerald (2001), "Statements"
     • Interactive tutorial.
     • Click on the right arrow to continue with the tutorial

   • Schagrin, Morton L. (1979), The Language of Logic: A Self-Instruction Text, 2nd ed. (New York: Random House).
     • First edition is in Lockwood: BC135 .S3

   • Schagrin, Morton L.; Rapaport, William J.; & Dipert, Randall R. (1985), Logic: A Computer Approach (New York: McGraw-Hill)

   • "Illustrating Formal Logic with Johnston Diagrams"
     • Interactive tutorial

   • Klement, Kevin C. (2004), "Propositional Logic" (Internet Encyclopedia of Philosophy).

   • Suber, Peter (1997), "Propositional Logic Terms and Symbols"

   • Williams, Peter (1996), "Statements, Truth Values, and Truth Tables"

   • Jones, R.B. (1998), "An Introduction to Propositional Logics"
     • Alternative version?

2. Boolean Logic:
   • "Boolean Logic"
     • Interactive tutorial

   • Brain, Marshall (2004), "How Boolean Logic Works"

3. Boolean Algebra