A Logical Introduction to Proof
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Chapter 1 Propositional Logic
Chapter 2 Predicate Logic
Chapter 3 Proof Strategies and Diagrams
Chapter 4 Mathematical Induction
Chapter 5 Set Theory
Chapter 6 Functions
Chapter 7 Relations
Other editions - View all
algebraic structure argument Assume Assumption Strategy axiom of choice Base step binary operation conclude congruence relation contradiction countable cycle D I R deﬁned Deﬁnition equation equivalence relation Example false family of sets ﬁnd ﬁrst formula function f given Hence identity element implies indexed family Inductive step integers inverse Lemma Let f Let G LetA lim sn logical form logically equivalent lower bound mathematical induction mathematical proofs means natural number negation laws nonzero normal subgroup obtain permutation positive real numbers prime number proof diagram proof of Theorem Proof Strategy ProofAnalysis propositional logic propositional sentence quantiﬁer quantifiers rational numbers real numbers ring satisfies sequence Solution statement subgroup of G subset Suppose Theorem true truth table truth values upper bound well-ordering principle write xP(x