Formal Logic

  • Fred B. Schneider
Part of the Graduate Texts in Computer Science book series (TCS)


The methods in this textbook for reasoning about programs are based on using formal logic to characterize program execution. Here, we review some rudiments of logic and show how logic can be used to formalize safety and liveness. Our study of logic is done from the programmer’s viewpoint, not the logician’s. For us, logic is simply a tool. However, as with most tools, it must be understood to be used effectively.


Inference Rule Propositional Logic Predicate Logic Conjunctive Normal Form Safety Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1997

Authors and Affiliations

  • Fred B. Schneider
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations