Abstract
This chapter prepares for the extensive account of a proof-verification system based on set theory which will be given later. Two of the system’s basic ingredients are described and analyzed:
-
the propositional calculus, from which all necessary properties of the logical operations &, ∨, ¬, →, and ↔ are taken, and
-
the (first order) predicate calculus, which adds compound functional and predicate constructions and the two quantifiers ∀ and ∃ to the propositional mechanisms.
A gradual account of the proof of Gödel’s completeness theorem for predicate calculus is provided. Notions which are relevant for computational logic, such as reduction of sentences to prenex normal form, conservative extensions of a first-order theory, etc., are also introduced.
The Zermelo–Fraenkel set theory is introduced formally as an axiomatic extension of predicate calculus, and consistency issues related to it are highlighted.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jech, T.J.: Set Theory, 2nd edn. Perspectives in Mathematical Logic. Springer, Berlin (1997)
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Schwartz, J.T., Cantone, D., Omodeo, E.G. (2011). Propositional- and Predicate-Calculus Preliminaries. In: Computational Logic and Set Theory. Springer, London. https://doi.org/10.1007/978-0-85729-808-9_2
Download citation
DOI: https://doi.org/10.1007/978-0-85729-808-9_2
Publisher Name: Springer, London
Print ISBN: 978-0-85729-807-2
Online ISBN: 978-0-85729-808-9
eBook Packages: Computer ScienceComputer Science (R0)