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.