"All this may perhaps be made clear by an analogy: Assume (as in a now-old-fashioned theology) that Adam and Eve are literally the first two humans (initial formulas) and that a property which they share—original sin (property of the initial formulas)—is hereditary and that thus all their descendants (theorems) share it. The existence of a human without that property—Jesus (a formula)—saves humanity (the system) from damnation (inconsistency). This is so because we know that if all humans (formulas) are descended (inferred) from Adam and Eve (initial formulas), then mankind (the system) is doomed (inconsistent)."
This probably would have done a great job teaching me logic if my brain wasn't completely rotting in my head, but at least moving my eyes over the words felt kinda nice.
But The definitions are brought in between long sentences and are not highlighted well enough. And sometimes are omitted or are vague allusions by the way.
The Propositional Calculus is well explained.
The exercises are very entertaining and each of them is well answered.
The philosophical side is clear and interesting.
The prose is pleasant and friendly for people who are worrying in the mathematical world.
I see this book as one of the first steps for the students who is not able to dive directly into rigorous books.