Advertisement
Published in:
2020 | OriginalPaper | Chapter
9. Something About Everything: Quantificational Logic
Author : David Makinson
Published in: Sets, Logic and Maths for Computing
Publisher: Springer International Publishing
Abstract
Although fundamental to logic, truth-functional connectives have very limited expressive power. In this chapter we go further, explaining the basic ideas of quantificational logic (also known as first-order or predicate logic), which is sufficiently expressive to cover most of the deductive reasoning that is carried out in standard mathematics and computer science.
