Introduction To Mathematical Logic

By Elliot Mendelson

ISBN: 978-1-4822-3772-6

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.