A Logical Introduction to Proof

by Daniel W. Cunningham

Overview

The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.

Product Details

ISBN-13:	9781461436300
Publisher:	Springer New York
Publication date:	09/19/2012
Edition description:	2013
Pages:	356
Product dimensions:	6.10(w) x 9.25(h) x 0.35(d)

Table of Contents

Preface.- The Greek Alphabet.- 1. Propositional Logic.- 2. Predicate Logic.- 3. Proof Strategies and Diagrams.- 4. Mathematical Induction.- 5. Set Theory.- 6. Functions.- 7. Relations.- 8. Core Concepts in Abstract Algebra.- 9. Core Concepts in Real Analysis.- A Summary of Strategies.- References.- List of Symbols. Index.

Editorial Reviews

From the reviews:

“Cunningham (Buffalo State, SUNY) focuses on the strategies for different proof techniques. … The well-written text is consistent in its focus, which should help students. The book includes sufficient, appropriate exercises. … contains ample notes to guide students through most of the exercises. Whether used for a course or as a reference for students learning proof techniques, this book is certainly worthy of consideration. Summing Up: Highly recommended. Lower-division undergraduates through graduate students.” (J. R. Burke, Choice, Vol. 51 (1), September, 2013)

From the Publisher