Brief Logic

Most of the material in this section is drawn from:

1. Carol Schumacher, Chapter Zero, Addison-Wesley, 1996.
2. Robert S. Wolf, Proof, Logic, and Conjecture, Freeman, 1998.
3. Layman E. Allen, Wff'n'Proof, Autotelic Instructional Materials Publishers, 1966.

• Definitions
• Some Useful Tautologies
• Proofs
• Some Problems
• Predicate Logic