1987•Plenum series in computer scienceRequires access
Predicate Logic
Jacques Loeckx, K. Sieber
Open publisher page 0 citations
Abstract
This chapter is a brief introduction to first-order predicate logic. Both the method and content of logic are important in the study of program verification. On the one hand, the development of logic, its syntax, semantics, and calculus, is the prototype for the development of programming logics. On the other, the formalism and results of predicate logic are subsumed by the formalism and results of these programming logics. The aim of this chapter is to present that part of predicate logic essential for studying program verification. Of course, this is not the place for a complete treatment of logic and the reader is referred to the books listed at the end of the chapter or any of the other numerous books in this area for details.