Propositions

  • David Gries
Part of the Text and Monographs in Computer Science book series (MCS)

Abstract

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.

Keywords

bAcA 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1981

Authors and Affiliations

  • David Gries
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations