Faculty Work: Comprehensive List

Book Chapter

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 reﬁnement 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 ﬁne 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 reﬁnement 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 ﬁne points of logic but to learn the system of PL in order to better analyze mathematical propositions and understand mathematical proof strategies.

• From Discrete Mathematics: An Integrated Approach, a self-published textbook for use in Math 212
• © 2016 Calvin Jongsma