There’s a lot more to math than just numbers. The fun of math really starts to become clear when you move beyond arithmetic and get to the abstract stuff. All of the abstractions can be built with two basic things: logic and set theory. So here we’ll take a look at logic.
In this part of the book we’ll explore what logic is, what a proof is, and what it really means for one statement to logically follow from the statements before it. We’ll take a look at a couple of logics to see how various logics can describe different kinds of reasoning, and we’ll explore the power of logical reasoning by playing with a programming language that’s entirely built on logic.