Abstract

Predicates are statements whose truth value depends on the values they are applied to. Formal reasoning about them and quantifying over the values for which a predicate holds requires a formalism richer than propositional logic. This chapter introduces the notion of predicates and extends the axiomatic approach presented in the previous chapter for propositional logic to allow formal reasoning about them.

Keywords

Modal Logic Capital City Propositional Logic Predicate Calculus Predicate Logic 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Gordon J. Pace
    • 1
  1. 1.Department of Computer Science, Faculty of Information and Communication TechnologyUniversity of MaltaMsidaMalta

Personalised recommendations