We want to be able to describe sets of states of program variables and to write and manipulate clear, unambiguous assertions about program variables. We begin by considering only variables (and expressions) of type Boolean: from the operational point of view, each variable contains one of the values T and F, which represent our notions of “truth” and “falsity”, respectively. The word Boolean comes from the name of a 19th century English mathematician, George Boole, who initiated the algebraic study of truth values.
Unable to display preview. Download preview PDF.