Abstract
This chapter introduces quantifiers and first-order logic. The first few sections demonstrate methods for designing proofs through preliminary versions of the Deduction Theorem for first-order logic, Substitutivity of Equivalences, and transformations into prenex forms. A final section derives features of predicates for equality and inequality, either as primitive predicate constants, or predicates defined from other primitive binary predicate constants. The prerequisite for this chapter is a working knowledge of the Classical Propositional Logic for instance, as in chapter 1
Keywords
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, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
P. Bernays, Axiomatic Set Theory with a Historical Introduction by Abraham A. Fraenkel (Dover, Mineola, 1991). ISBN 0-486-66637-9. QA248.B47 1991. LCCC No. 90-25812. 511.3’22–dc20
A. Church, Correction to a note on the Entscheidungsproblem. J. Symb. Log. 1(3), 101–102 (1936)
A. Church, A note on the Entscheidungsproblem. J. Symb. Log. 1(1), 40–41 (1936)
A. Church, Introduction to Mathematical Logic. Princeton Landmarks in Mathematics and Physics (Princeton University Press, Princeton, 1996). Tenth printing. ISBN 0-691-02906-7
R. Dedekind, Essays on the Theory of Numbers (Dover, New York, 1963). ISBN 0-486-21010-3; 63-3681. (Also Open Court Publishing, Chicago, 1901; QA248.D3)
H.B. Enderton, A Mathematical Introduction to Logic (Academic Press, New York, 1972). LCCC No. 78-182659
A. Fraenkel, Axiomatische theorie der geordneten mengen. (untersuchungen über die grundlagen der mengenlehre. ii.). J. Reine Angew. Math. (Crelle’s Journal) 1926(155), 129–158 (1926)
D. Hilbert, Foundations of Geometry, 10th edn. (Open Court, La Salle, 1971). Eighth printing, 1996. Translated by Leo Unger and revised by Paul Bernays. ISBN 0-87548-164-7; LCCC No. 73-110344
S.C. Kleene, Mathematical Logic (Dover, Mineola, 2002). ISBN 0-486-42533-9; QA9.A1 K54 2002; LCCC No. 2002034823 (originally published by Wiley in 1967)
K. Kunen, Set Theory: An Introduction to Independence Proofs (North Holland, Amsterdam, 1980). ISBN 0-444-85401-0. QA248.K75 1980. LCCC No. 80-20375. 510.3’22
E. Landau, Foundations of Analysis (The Tan Chiang Book Co., 1951)
A. Margaris, First Order Mathematical Logic (Dover Publications Inc., New York, 1990). Corrected reprint of the 1967 edition
J.D. Monk, Mathematical Logic (Springer, New York, 1976). ISBN 0-387-90170-1. QA9.M68
J.W. Robbin, Mathematical Logic: A First Course (Dover, Mineola, 2006). SBN 486-61272-4; LCCC No. 65-12253 (originally published by W. A. Benjamin, New York, 1969)
J.B. Rosser, Logic For Mathematicians (McGraw-Hill, New York, 1953). BC135.R58; LCCC No. 51-12640
E. Schechter, Classical and Nonclassical Logics (Princeton University Press, Princeton 2005). ISBN 0-691-12279-2; QA9.3.S39 2005; 2004066030; 160–dc22
R.M. Smullyan, First-Order Logic (Dover, Mineola, 1995). ISBN 0-486-68370-2. QA9.S57 1994. LCCC No. 94-39736. 511.3–dc20
R.R. Stoll, Sets, Logic, and Axiomatic Theories (W. H. Freeman, San Francisco, 1961). LCCC No. 61-6784
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media New York
About this chapter
Cite this chapter
Nievergelt, Y. (2015). First-Order Logic: Proofs with Quantifiers. In: Logic, Mathematics, and Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-3223-8_2
Download citation
DOI: https://doi.org/10.1007/978-1-4939-3223-8_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-3222-1
Online ISBN: 978-1-4939-3223-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)