Discrete Mathematics: Chapter 2, Predicate Logic
Document Type
Book Chapter
Publication Date
1-2016
Department
Mathematics, Statistics, and Computer Science
Keywords
predicate, logic, proof, analysis, algebra
Abstract
In this chapter we will explore Predicate Logic (PL), an extension of Sentential Logic, the system we studied in Chapter 1. There is the potential here to get tangled up in picky details, since PL is a refinement that deals with the inner logical structure of sentences as well as sentential connectives. We will keep our treatment fairly informal, however, since our goal is not to master the fine points of logic but to learn the system of PL in order to better analyze mathematical propositions and understand mathematical proof strategies.
In this chapter we will explore Predicate Logic (PL), an extension of Sentential Logic, the system we studied in Chapter 1. There is the potential here to get tangled up in picky details, since PL is a refinement that deals with the inner logical structure of sentences as well as sentential connectives. We will keep our treatment fairly informal, however, since our goal is not to master the fine points of logic but to learn the system of PL in order to better analyze mathematical propositions and understand mathematical proof strategies.
Recommended Citation
Jongsma, C. (2016). Discrete Mathematics: Chapter 2, Predicate Logic. Retrieved from https://digitalcollections.dordt.edu/faculty_work/432
Comments
This material is no longer available for download. A revised, improved version is now available as a chapter of Introduction to Discrete Mathematics via Logic and Proof (see https://www.springer.com/us/book/9783030253578), published by Springer as part of their Undergraduate Texts in Mathematics series.