## Faculty Work Comprehensive List

#### Title

Discrete Mathematics: Chapter 2, Predicate Logic

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.