Predicate Calculus
Chapter
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