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.

Comments

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

Creative Commons License

Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 4.0 License.

Share

COinS