Skip to main content

Propositional- and Predicate-Calculus Preliminaries

  • Chapter
  • 1067 Accesses

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.

Keywords

  • Free Variable
  • Propositional Calculus
  • Function Symbol
  • Predicate Calculus
  • 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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-0-85729-808-9_2
  • Chapter length: 55 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-0-85729-808-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.95
Price excludes VAT (USA)
Hardcover Book
USD   89.95
Price excludes VAT (USA)

References

  1. Jech, T.J.: Set Theory, 2nd edn. Perspectives in Mathematical Logic. Springer, Berlin (1997)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Domenico Cantone or Eugenio G. Omodeo .

Rights and permissions

Reprints 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)