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.

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.

This document is currently not available here.

Share

COinS