Derivations and Proofs in the Predicate Logic

Ayala-Rincón, Mauricio; de Moura, Flávio L. C.

doi:10.1007/978-3-319-51653-0_2

Mauricio Ayala-Rincón¹² &
Flávio L. C. de Moura¹³

Part of the book series: Undergraduate Topics in Computer Science ((UTICS))

2059 Accesses

Abstract

The propositional logic has several limitations for expressing ideas; mainly, it is not possible to quantify over sets of individuals and reason about them.

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

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 49.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Author information

Authors and Affiliations

Departments of Mathematics and Computer Science, Universidade de Brasília, Brasília, Brazil
Mauricio Ayala-Rincón
Department of Computer Science, Universidade de Brasília, Brasília, Brazil
Flávio L. C. de Moura

Authors

Mauricio Ayala-Rincón
View author publications
You can also search for this author in PubMed Google Scholar
Flávio L. C. de Moura
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauricio Ayala-Rincón .

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Ayala-Rincón, M., de Moura, F.L.C. (2017). Derivations and Proofs in the Predicate Logic. In: Applied Logic for Computer Scientists . Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-51653-0_2

Download citation

DOI: https://doi.org/10.1007/978-3-319-51653-0_2
Published: 07 February 2017
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51651-6
Online ISBN: 978-3-319-51653-0
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics