Propositional Logic

Author: Alexander Kurz

The purpose of this note is to introduce the simplest logic that will appear throughout the book. It is known as propositional logic, or classical propositional logic (as opposed to variants such as intuitionistic logic) or Boolean logic (to honor George Boole and as opposed to other algebraic logics.)

In class, we used mostly

• Chapters 1.1, 1.3, 1.5, 1.6 in the Open Logic Project and

• Chapters 2 and 5 in the Open Logic Project

as our reference. Since this worked reasonably well we leave it at this for now.

The Introduction to Logic contains an overview and summary of the most important big ideas that we need.