Skip to main content

Part of the book series: Progress in Mathematics ((MBC,volume 8))

  • 4355 Accesses

Abstract

Predicate logic can be understood as an extension of propositional logic. The additional new concepts include quantifiers, function symbols and predicate symbols. These new notions allow us to describe assertions which cannot be expressed with the available tools of propositional logic. For example, up to this point it was not possible to express that certain “objects” stand in certain relations, or that a property holds for all such objects, or that some object with a certain property exists. Here is a well known example from calculus: For all ε > 0 there exists some n0, such that for all nn0, abs(f(n) − a) < ε. The main concepts here are the verbal constructs for all and exists, as well as the use of functions (abs, f, −) and relations (>, ≥, <).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Birkhäuser Boston

About this chapter

Cite this chapter

(2008). Predicate Logic. In: Logic for Computer Scientists. Progress in Mathematics, vol 8. Birkhäuser Boston. https://doi.org/10.1007/978-0-8176-4763-6_3

Download citation

Publish with us

Policies and ethics