Part 4Logic
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.
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access