CHAPTER 6 |
Propositional Logic |

In this chapter, we turn to a topic in mathematical logic called *propositional logic.* Propositional logic is a key tool in logical reasoning and is used to understand and even generate precise proofs. Our attraction to propositional logic is ignited by the ability to represent Boolean functions by *Boolean formulas.* Some Boolean functions can be represented by short Boolean formulas, thus offering a concise and precise way to describe Boolean functions.

**6.1** BOOLEAN FORMULAS

**Building Blocks.** The building blocks of a Boolean formula are constants, variables, and connectives.

- A
*constant*is either 0 or 1. As in the case of bits, we interpret a 1 as “true” and a 0 as “false.” The terms*constant*and*bit*are synonyms; ...

Start Free Trial

No credit card required