How to Prove It: A Structured Approach (2024)

This is how math should be thought. It is a very interesting book that explains how mathematical proofs works from the bottom up. In the process of doing that it also teaches discrete math. The learning curve was just right—something that is no easy to achieve. Velleman explains things in a way that is far from being dry yet understandable and precise. I believe everyone who comes in contact with mathematical proofs should read the book. The chapter on induction is especially useful if your field of practice is computer science.

I would have liked it if solutions where available for a larger amount of the exercises. Since there are a lot of them it would have been helpful if the author had marked a selected subset as being the most important ones.

Man, I wish I had read this book BEFORE undergrad. In this book, Velleman does three things:
* describes basic concepts in Logic
* gives common proof strategies, with plenty of examples
* dives into more set theory, defining functions, etc

He does all this assuming the reader is NOT a mathematician–in fact, he does an excellent job of explaining a mathematician’s thought process when trying to prove something.

I highly recommend this book if you feel uncomfortable reading and/or writing proofs, since it will make the following math books much more enjoyable to read!

This was pretty insightful as far as I'm concerned 🥀.
My main concern was chapter 3 on Proof writing but I went through the first two chapters and had a go at the exercises too which weren't too difficult for me (surprising because I'm typically unable to solve them in other math books I pick up). I skimmed through Mathematical Induction, which I will likely be returning to sometime in the future out of regret.
The book is thankfully pretty accessible and there are answers for starred exercises (but only for them. Kind of wonder why they're never there for them all).

This book should have been read by everyone who took calculus, before they took it. Mathematical induction has been improperly given a sharp learning curve by crappy teachers at my school. For myself and I'm sure many others this book amounts to a course missing from the math curriculum.

I have the first edition which doesn't have solutions, but there are several internet strangers that have solved all the problem and showcase them freely online. It's somewhat repetitive but very useful for practicing various proof techniques. I recommend the latest edition (3rd at the time of writing this review) of the book because it has additional exercises and plenty of solutions at the back, it makes it easier to check if you doubt yourself. This is a great introduction to thinking in proofs and showcasing your mental process neatly and correctly.

A book that teaches you how to construct well-typed formulas. Still, in my opinion, very far away from being a textbook that can teaches you the basics of set theory, proving and/or infinite sets. Use some other book instead, and read this book as a complementary source.

Highly recommended for beginners as it helps tremendously in understanding the mathematical rigour.

Author does not expect much from the reader and begins with very basic concepts and slowly progresses towards quantifiers, then set theory, relation and functions, mathematical induction and finally, infinite sets.

Inside introduction, author gives proof of few theorems in an intuitive way. Later when armed with all the proofing techniques all of those proofs were revisited and reader can clearly see the difference in his understanding for reading and writing proofs.

All the techniques of proofs(except induction) are covered in chapter-3. Post that, book introduced other topics like relations and functions and employs proof techniques for proving theorem in these topics. It was a great way to demonstrate that techniques learned for writing proofs are independent of any area and can be applied anywhere in mathematics.

I loved the treatment of proof by contradiction and mathematical induction. Cracking the corresponding exercises was a very rewarding experience. In many proofs when no approach seems to be working, proof by contradiction comes to the rescue. Similarly power of proof by induction was on display in solving many humongous problems.

All exercises were ordered from easy to moderate preparing the reader along the way to learn writing proofs for easier to challenging ones. Many exercises are built on top of the theorems from earlier exercises. This is a good thing as it helped me in two ways: revising the older chapters and discovering errors in my proofs.

There were many exercises asking the reader if the given proof is correct. Many times proof looked correct but turned out wrong because of a conceptual mistake. This helped tremendously in clearing many misconceptions.

In most of the sections, author also explains about how he arrived at a solution which helped in understanding how to approach a problem.

Finally in the last chapter author picked up a relatively advanced topic and employs all the proof techniques learned. In this chapter author does not go into explaining the proof structure but writes in a mathematical rigour so that reader should be able to read those proofs and gets an overall idea about reading and writing proofs by giving more focus to the topic than the proof technique.

One small thing that could have been better is the treatment of empty sets. I got confused while solving many exercises and felt like missing on some concepts regarding empty sets specially while dealing with family of sets.

To summarise,
- Quantifiers are everywhere.
- Reading and writing proofs.
- Set theory
- Mathematical Induction
- Developed some understanding for how to approach a problem.
- Felt great in solving many problems.

Overall it was a great endeavour and an enriching experience.

Originally written on my blog

С одной стороны, нам все это рассказывали на первом курсе. С другой стороны, никто из преподававших математику на первом курсе не рассказывал это так внятно и с такими хорошими примерами и упражнениями. Так что жаль, что у меня не было этой книги тогда, может быть, я полюбила бы математику нежной любовью %)

И к сожалению, этой книги почему-то нет на русском.

P.S.: еще жаль, что в универе я не знала про сайт http://www.tricki.org/ %)

Good overview of logic, discrete math, and proof-writing concepts. Easy to follow.

Terrific book, #1 in my reread-if-you-die-and-find-yourself-born-again list. But as someone who's been using it for self studying (if that's relevant) I'd change the structure of exercises a bit. Sometimes, there are too many of them so I got bored at the second dozen. At the same time details of covered topics often got faded away multiple paragraphs later. So, I'd split them in such a way that the most challenging ones (numbers 20-26s) are included not at the end of the list right after the relevant paragraph but a few paragraphs later under "repetition" section. I found this strategy of studying the most effective: I paid all the necessary attention to every problem and refreshed the knowledge of things I started to forget.

This book demonstrates proofs and shows the underlying logical machinery behind them. It focuses especially on the language of mathematical logic. This is a good thing since most of the symbols might as well be from an alien language. It is split into seven chapters with two appendices, a section on suggested further reading, a summary of proof techniques mentioned, and an index. The book also mentions Proof Building Software, but I did not check to see if the link still worked or not.

Working through this book was tremendously rewarding. The book very logically and lucidly explained how proofs work and guides the reader through interesting exercises in logic and useful topics such as set theory and countability. This book is excellent preparation for any rigorous math class that contains proofs (as opposed to just calculations and numerical examples).

This book is very accessible and demands from the student little in the way of prerequisite math knowledge.

I should have read something like this years ago, at the end of secondary school or start of university. I intend on returning to it as I skipped more and more of the exercises as I moved through the text. Highly recommend to people who don't like proofs!

La exposición de Velleman es sublime. Cada página de este libro es reveladora y es el comienzo para quien quiera profundizar en las matematicas. Creo, sin duda, que este libro debe ser utilizado por cada docente de matemáticas, pues en realidad ofrece una estructura sólida sobre como resolver un problema. El capítulo 4 en especial es una joya, sobre todo porque el autor te lleva de la mano para que descubras la lógica que hay detras de demostraciones matemáticas que parecerian complicadas y, sin embaro, te muestra paso por paso como se fue dando el resultado.
Hasta el capitulo 6, se tiene buen material para tomar cualquier libro de analisis matematico, teoria de numeros, topologia o bien algebra abstracta y entenderlo sin muchos problemas. El capitulo 7, sin embargo, va mas alla y contiene un tratamiento adecuado sobre conjuntos infinitos.
Sin duda recomiendo este libro para quien se inicie en las matematicas o, como un servidor, sea un aficionado sumamente interesado en profundizar en las raices de las matematicas.

I had seen this book being recommended on math forums for people interested in honing their proof-writing skills. I certainly fitted the category, so I decided to give this a try.

Mr. Velleman does not disappoint with this beautiful exposition of the art of writing proofs. It's clear, didactic and very entertaining.

Maybe it has something to do with how the concept of a mathematical proof strikes me as beautiful, but throughout the entirebook I couldn't help but smile and be in awe at the sublime art which is mathematics.

I can't, however, rate this 5 stars due to what I considered a somewhat lacking explanation of set-related concepts. Once you get to the chapter on relations or infinite sets, the shaky foundations laid haphazardly on the early chapters clearly shows. It's a shame because I was excited to dig into the Cantor-Schröder-Bernstein theorem. Alas, one can't have everything in life.

Solid book, worth a careful read.

My decision to work through this book was primarily so I could review proofwriting, and to this end Velleman's /How to Prove It/ was ideal for me for pretty much one reason - there are an impressive number of exercises.

The writing is clear, and I would recommend it to someone who had never encountered proofs before. The use I got out of it was more about practicing proofs rather than learning how to do them, but whenever I forgot something basic I could just go back and look and the explanations were not terribly bogged down by jargon.

How to Prove It is another "textbook" in a list of books that I wish I had read as a college student. Now, nearly a decade after graduation, I'm going back and getting the education I wish I would have given myself when I was younger, by studying books like this and Gujarati's Basic Econometrics.

The title of the book describes its purpose entirely: How to Prove It provides an in-depth course on how to write proofs. Anyone who plans to take college-level math courses (beyond calculus), and wants to actually succeed in them, should read this book.

I strongly recommend that high school students consider delving into this book to gain exposure to this unique style of thinking. While some reviewers who appreciated this book have raised a caveat regarding the perceived shortcomings of the chapter on set theory, I hold a nuanced perspective on this matter. In contrast to "Book of Proof," it is indeed true that less emphasis is placed on set theory within this work. Nevertheless, I personally found Velleman's treatment of the topic to be highly valuable in its application to the realm of probability theory.

The author is very patient in explaining the details to readers, but sometimes it gets too lengthy and confusing. The content is correct and rigorous, but there are some small inaccuracies (notation typos or nuances, in second edition). Overall, this is a good book to start getting familiar with mathematical proofs without too much intimidation of reading a full proof by oneself. It would be better if some parts get more concise.

Solid introduction

A solid introduction to - and survey of - logical proofs in mathematics. Covers propositional and first order predicate logic, mathematical induction and basic concepts of set theory. Lots of detailed examples. A few too many really. Time is limited!
The ebook formatting needs to be improved. It makes it just that bit harder to read. Excellent for beginners. A useful review/reminder for others.

This book has been a tremendous help (and still is!) in preparing for studying math at university. Many lecturers basically skip over the proof techniques the author introduces in detail in this book. Thanks to the great exercises that are at the end of each chapter, I have so much less trouble with really hard and abstract exercises in our regular textbook because I have learned to look for the specific structures that the author explains.

It was my textbook on Discrete Math course.
It's a valuable book mostly for the fact it's actually teaches you how to write a well constructed proofs.
Each chapter reveals its genius proofs with behind a scene strategies applied on it and lots of examples demonstrating the process pf proof writing.
Also the book includes a challenging exercises. Highly recommended!

Eu li isso aí em 2012, por recomendação do /sci/. Bom livro, foi a minha primeira introdução a demonstrações matemáticas. Saudades de usar o proof designer para provar trocentas propriedades de conjuntos pela definição sem poder reutilizar resultados já obtidos...

Really useful. Thought he did an excellent job explaining things (most) times. His definitions could sometimes be contradictory, though, and he tends to run-on. All in all, it was a great introductory to logic and math proofs.

A wonderful book that introduces practical strategies for proving different things in mathematics, and makes all kinds of proofs seem manageable to a beginning student, no small achievement!

Equally appropriate for the advanced high school student or the student in the first two years of their undergraduate studies.

A great antidote to proof anxiety.

best books for foundations

Good reading material, but can seem very common-sense. Maybe it will help with your intuition, but a discrete maths textbook with lots of practice problems will probably help more.

Fun read tons of problems great for someone without much of a background in logic or math. Not much else to say would strongly recommend to beginners and experts alike!