We’re going to start off talking about formal logic. As I just mentioned on the previous page, we are not going to go into full detail as it is an entire system of algebra that is way beyond those scope of one chapter. (You can take entire classes about formal logic and boolean algebra!) Instead we’re just going to get a taste of it so you can see how it might apply to programming.

One important thing to remember about logic like this is that the answer is always true or false. There is no in-between whatsoever. If something is not true, then it is false. If something is not false, then it is true.

At the end of this chapter you will hopefully have an idea of what notation for formal logic looks like, and recognize some of the laws that go with them.

← Previous PageNext Page →