Chapter 1 - The Propositional Calculus
Click here to view the exercises for chapter 1.
Section 1.1 - Propositional Connectives
Everything needs to start somewhere. Section 1.1 introduces the basic building blocks of propositional calculus. Much like all section 1.1's it starts out simple, thus lulling the reader into a sense that the whole book will be straight forward and easy.
Section 1.2 - Tautology
As you would imagine, this chapter covers tautologies. It, however, also covers contradictions, a slew of concepts preceded by "logical", parentheses, and a bunch of concepts only available to those who slog through the exercises.
With that, I was pleased to find many exercises that allowed me to use and develop algebraic tools. It wasn't a throw away section after all.
Section 1.3 - Adequate Sets of Connectives
The adequacy of connectives is novel, but I feel it distracts from the potential of variable truth functions. I suffered the section, but I with the exception of naming joint and alternative denial, I can't say I got much from it.