Check nearby libraries
Buy this book
When you buy books using these links the Internet Archive may earn a small commission.
How to prove it
a structured approach
by Daniel J. Velleman
 0 Ratings
 15 Want to read
 1 Currently reading
 1 Have read
Previews available in: English
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a stepbystep breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.
Showing 7 featured editions. View all 7 editions?
Edition  Availability 

1
How to Prove It: A Structured Approach
2019, University of Cambridge ESOL Examinations
in English
1108539890 9781108539890

zzzz
Libraries near you:
WorldCat

2
How to Prove It: A Structured Approach
2019, Cambridge University Press
in English
1108439535 9781108439534

zzzz
Libraries near you:
WorldCat

3
How to Prove It: A Structured Approach
2019, Cambridge University Press
in English
110842418X 9781108424189

zzzz
Libraries near you:
WorldCat

4
How to Prove It: A Structured Approach
2012, University of Cambridge ESOL Examinations
in English
0511808232 9780511808234

zzzz
Libraries near you:
WorldCat

5
How to prove it: a structured approach
2006, Cambridge University Press
in English
 2nd ed.
0521861241 9780521861243

aaaa
Libraries near you:
WorldCat

6 
zzzz
Libraries near you:
WorldCat

7
How to prove it: a structured approach
1994, Cambridge University
in English
0521441161 9780521441162

eeee
Libraries near you:
WorldCat

Book Details
Published in
New York
Table of Contents
Introduction  
Sentential logic  
1.1 Deductive reasoning and logical connectives  
1.2 truth tables  
1.3 variables and sets  
1.4 operations on sets  
1.5 The conditional and biconditional connectives  
Quantificational logic  
2.1 Quantifiers  
2.2 Equivalences involving quantifiers  
2.3 More operations on sets  
Proofs  
3.1 proof strategies  
3.2 proofs involving negations and conditionals  
3.3 Proofs involving quantifiers  
3.4 Proofs involving conjunctions and biconditionals  
3.5 Proofs involving disjunctions  
3.6 Existence and uniqueness proofs  
3.7 More examples of proofs  
Relations  
4.1 Ordered pairs and cartesian products  
4.2 Relations  
4.3 More about relations  
4.4 Ordering relations  
4.5 Closures  
4.6 Equivalence relations  
Functions  
5.1 Functions  
5.2 Onetoone and onto  
5.3 Inverses of functions  
5.4 Images and inverse images: a research project  
Mathematical induction  
6.1 Proof by mathematical induction  
6.2 More examples  
6.3 Recursion  
6.4 Strong induction  
6.5 Closures again  
Infinite sets  
7.1 Equinumerous sets  
7.2 Countable and uncountable sets  
7.3 The cantor  
Schroder  
Bernstein theorem  
Appendix 1: Solutions to selected exercises  
Appendix 2: Proof designer  
Suggestions for further reading  
Summary for proof techniques  
Index. 
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
 Created April 1, 2008
 15 revisions
December 11, 2020  Edited by MARC Bot  import existing book 
October 8, 2020  Edited by ImportBot  import existing book 
August 1, 2020  Edited by ImportBot  import existing book 
August 1, 2020  Edited by ImportBot  import existing book 
April 1, 2008  Created by an anonymous user  Imported from Scriblio MARC record. 