Introduction To Mathematical Logic
By Elliot Mendelson
Chapter 1 - The Propositional Calculus
In the beginning there was simple intuitive logic. Then it got all axiomatic. This chapter starts by defining propositional calculus with truth tables, then winds through the building blocks for a syntactic theory based on axioms and methods for stepping through proofs.