Predicate Logic

  • Dirk van Dalen
Part of the Universitext book series (UTX)


The step from propositional logic to predicate logic is taken by moving from just truth values to structures with elements. This makes it possible to handle important and realistic mathematical structure, e.g. groups, fields, …In order to discuss these structures one needs names (constants for elements) and variables. Furthermore one wants to extend and to for all: φ(a)∧varphi(b) to ∀(x). Similarly for or and exists. Again suitable inductive procedures provide the reader with all the tools one needs. Defining truth values for the new kind of statements becomes a little bit more complicated. Gentzen’s Natural Deduction extends without problems to predicate logic, one has to keep track of one’s variables. Again the reader will have no problem to make his own derivations. Soundness—derivable ⇒ true—does not present any problem.


Predicate Logic Peano Structure Ordinary Natural Numbers Conventional Brackets Predicate Symbol 
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 London 2013

Authors and Affiliations

  • Dirk van Dalen
    • 1
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations