Suggestions for an Intro to Proofs Math textbook for Self Study

In summary: I prove to you that you will not jump off the high board, it is enough to show that you will not jump off the low board also.In summary, the book you mentioned is a good one to start with, but there are many others that cover the propositional calculus in detail.
  • #1
rtareen
162
32
Hi everyone. I'll be taking a course in the fall called "Introduction to Mathematical Reasoning", which is basically and introduction to proof-based mathematics.

The syllabus says we will be covering the first seven chapters of Smith, Eggen, and St. Andre's "Transition to Advanced Mathematics". Before I go ahead and buy the book, I'd like your suggestions on similar books that would be good for self-study. It can be wordy as I like books that thoroughly explain everything. Thanks!
 
Physics news on Phys.org
  • #3
  • Like
Likes archaic
  • #4
rtareen said:
This looks good. Thanks for your suggestion.
You are welcome.
 
  • #6
I don’t think you can self study proving/analysis for the simple fact that there is no way to verify an answer unless someone with good knowledge of proofs checks your work. There are just too many ways to write a proof. That’s why most analysis books come with few or no solutions.
 
  • #7
My experience in learning to do proofs was transformed when I read the first chapter of Principles of Mathematics, by Allendoerfer and Oakley, simply because it laid out the basic facts of the "propositional calculus". Namely what does it mean to prove something? I.e. when do you know a statement is true? A fundamental fact is the "contrapositive" principle, namely that to prove that A implies B, it is entirely equivalent to prove that B being false implies A is false also.

If you don't know this, you are lost when some book tries to prove that every continuous function on [0,1] is bounded, and they do so by starting out assuming the function is not bounded and concluding it is not continuous. Then they stop, and you go, .. ok, huhhh?

The book I mentioned is hard to find at a good price, but any book that explains the propositional calculus, namely what does it mean to say a given statement is true, will do.
(The following book may be essentially the same, but I am not positive:
https://www.amazon.com/gp/product/B0000CKBXJ/?tag=pfamazon01-20)

the most famous principle is "modus ponens", namely if A is true and A implies B then B is also true. The classic example is "All men are mortal, Socrates is a man, hence Socrates is mortal", which is actually a bit more complicated since it also involves the "quantifier" word "all".

You need to learn that proving both A and B are true, is the same as proving neither one can be false.

Similarly, proving that at least one of A or B is true, is the same as proving they cannot both be false. Equivalently, if A is false, then B must be true.

Similarly, to prove that A and B cannot both be true is the same as proving that at least one is false. Equivalently, if A is true, then B must be false.

This is the game you must learn to play, which requires first learning very well just what it actually means to say a given statement is tue, and what statements are equivalent to each other in terms of truth value.

To repeat, before you can prove a given statement is true, you must know exactly what it means to say it is true, and in particular you must know what other statements are equivalent to that statement.

You must also know how to phrase a statement that is the "opposite" of the given statement, namely the "negation" of a given statement. This is because proving a given statement is true, is often done by proving its negation cannot be false. YUou cannot do this if you do not know how to form the negation of a statement. E.g. one of my exam questions was "find the negation of the statement: 'mathwonk is both stupid and lazy'". The answer is "mathwonk is either not stupid or not lazy", or perhaps: "even if mathwonk is stupid, at least he is not lazy".

To prove e.g. that either A or B is true, one often proceeds by assuming that A and B are both false, and concluding that some other statement C would then also have to be true, and then noting that C is actually false. Then since the falsity of both A and B forces the truth of an impossibly false statement C, one concludes that A and B cannot both be false, hence at least one must be true.

This is based on the principle that if assuming the truth of A implies the truth of B, but B is in fact clearly false, then A must also be false.

Another basic principle is that to prove A implies B, it suffices to show that A is in fact false. E.g. if A is "You will jump off the high board", and B = "I will jump off the high board", then A implies B is the statement "I will jump if you will". Then suppose that in fact you will not jump. Then whether I jump or not, the statement "if you jump, I will" is true. I.e. if you won't jump I don't have to jump in order to prove this statement. It is automatically true.

Note here that the fact you will not jump does not prove that I will jump, rather it proves only the conditional statement that "I will jump IF you jump".

A basic error of this type that people make is confusing the statement "if A is true then B is true", with the statement "B is true". For this conclusion, one needs also that A is in fact true.

E.g. people think that the derivative of fg is f'g + fg'. This is NOT necessarily true, unless both f and g are differentiable. I.e. the product rule does NOT say that (fg)' = f'g + fg', it says, IF f and g are both diffetentiable, THEN (fg)' = f'g + fg'.

So a basic lesson about proofs and theorems, is that all theorems have hypotheses, if the hypotheses are not true, then the conclusion may not be either.

This is another example of "modus ponens", i.e. if both statements "if A is true then B is true", and "A is true", are true, then the statement B is also true. But if only the statement "if A is true then so is B", is true, and we do not know about A, then we cannot deduce the truth of B.

Proofs can be tricky also because statements in ordinary English are often hard to interpret precisely in mathematically logical terms. Quantifiers are especially important, such as "for all" and "for some". The word "any" is particularly troublesome since in different contexts it can mean either one of those. In fact even the previous sentence is unclear since it can mean there are circumstances where "any" means "for all", and other circumstances where "any" means "for some", or it can mean there are circumstances where it could mean both. I intended to say there are circumstances where you cannot be sure which meaning to assign to "any".

Hence, in mathematics we need to be very careful in our choice of words, to reduce the number of possible interpretations. Still you have to learn the full range of standard interpretations in order to first understand, then prove, a mathematical statement.
 
Last edited:
  • Like
Likes inthenickoftime
  • #8
mathwonk said:
My experience in learning to do proofs was transformed when I read the first chapter of Principles of Mathematics, by Allendoerfer and Oakley, simply because it laid out the basic facts of the "propositional calculus". Namely what does it mean to prove something? I.e. when do you know a statement is true? A fundamental fact is the "contrapositive" principle, namely that to prove that A implies B, it is entirely equivalent to prove that B being false implies A is false also.

If you don't know this, you are lost when some book tries to prove that every continuous function on [0,1] is bounded, and they do so by starting out assuming the function is not bounded and concluding it is not continuous. Then they stop, and you go, .. ok, huhhh?

The book I mentioned is hard to find at a good price, but any book that explains the propositional calculus, namely what does it mean to say a given statement is true, will do.
(The following book may be essentially the same, but I am not positive:
https://www.amazon.com/gp/product/B0000CKBXJ/?tag=pfamazon01-20)

the most famous principle is "modus ponens", namely if A is true and A implies B then B is also true. The classic example is "All men are mortal, Socrates is a man, hence Socrates is mortal", which is actually a bit more complicated since it also involves the "quantifier" word "all".

You need to learn that proving both A and B are true, is the same as proving neither one can be false.

Similarly, proving that at least one of A or B is true, is the same as proving they cannot both be false. Equivalently, if A is false, then B must be true.

Similarly, to prove that A and B cannot both be true is the same as proving that at least one is false. Equivalently, if A is true, then B must be false.

This is the game you must learn to play, which requires first learning very well just what it actually means to say a given statement is tue, and what statements are equivalent to each other in terms of truth value.

To repeat, before you can prove a given statement is true, you must know exactly what it means to say it is true, and in particular you must know what other statements are equivalent to that statement.

You must also know how to phrase a statement that is the "opposite" of the given statement, namely the "negation" of a given statement. This is because proving a given statement is true, is often done by proving its negation cannot be false. YUou cannot do this if you do not know how to form the negatino of a statement. E.g. one of my exam questions was "find the negation of the statement: 'mathwonk is both stupid and lazy'". The answer is "mathwonk is either not stupid or not lazy", or perhaps: "even if mathwonk is stupid, at least he is not lazy".

To prove e.g. that either A or B is true, one often proceeds by assuming that A and B are both false, and concluding that some other statement C would then also have to be true, and then noting that C is actually false. Then since the falsity of both A and B forces the truth of an impossibly false statement C, one concludes that A and B cannot both be false, hence at least one must be true.

This is based on the principle that if assuming the truth of A implies the truth of B, but B is in fact clearly false, then A must also be false.

Another basic principle is that to prove A implies B, it suffices to show that A is in fact false. E.g. if A is "You will jump off the high board", and B = "I will jump off the high board", then A implies B is the statement "I will jump if you will". Then suppose that in fact you will not jump. Then whether I jump or not, the statement "if you jump, I will" is true. I.e. if you won't jump I don't have to jump in order to prove this statement. It is automatically true.

Note here that the fact you will not jump does not prove that I will jump, rather it proves only the conditional statement that "I will jump IF you jump".

A basic error of this type that people make is confusing the statement "if A is true then B is true", with the statement "B is true". For this conclusion, one needs also that A is in fact true.

E.g. people think that the derivative of fg is f'g + fg'. This is NOT necessarily true, unless both f and g are differentiable. I.e. the product rule does NOT say that (fg)' = f'g + fg', it says, IF f and g are both diffetentiable, THEN (fg)' = f'g + fg'.

So a basic lesson about proofs and theorems, is that all theorems have hypotheses, if the hypotheses are not true, then the conclusion may not be either.

This is another example of "modus ponens", i.e. if both statements "if A is true then B is true", and "A is true", are true, then the statement B is also true. But if only the statement "if A is true then so is B", is true, and we do not know about A, then we cannot deduce the truth of B.

Proofs can be tricky also because statements in ordinary English are often hard to interpret precisely in mathematically logical terms. Quantifiers are especially important, such as "for all" and "for some". The word "any" is particularly troublesome since in different contexts it can mean either one of those. In fact even the previous sentence is unclear since it can mean there are circumstances where "any" means "for all", and other circumstances where "any" means "for some", or it can mean there are circumstances where it could mean both. I intended to say there are circumstances where you cannot be sure which meaning to assign to "any".

Hence, in mathematics we need to be very careful in our choice of words, to reduce the number of possible interpretations. Still you have to learn the full range of standard interpretations in order to first understand, then prove, a mathematical statement.
I wonder, did mathematicians back in the days (200 years ago) use propositional calculus? It seems like a brute force method. Or were they doing plain and simple direct proofs with no fancy contrapositives and truth tables?
 
  • #9
The calculus of logic did exist a long time ago, (in fact I think it used to be taught in schools as I once had an old textbook of logic), but mathematicians then and now do not actually prove things by checking truth tables. Rather they internalize these rules and write the proofs in English (or German or whatever language they speak).
 
  • Like
Likes inthenickoftime

1. What is the importance of learning proofs in math?

Learning proofs in math is essential for developing critical thinking skills and understanding the logic behind mathematical concepts. It also helps students to communicate their ideas effectively and build a strong foundation for advanced math courses.

2. What are some key features to look for in an intro to proofs math textbook?

An ideal intro to proofs math textbook should have clear and concise explanations, a variety of examples and exercises, and a gradual increase in difficulty level. It should also cover a range of proof techniques and provide opportunities for self-assessment.

3. Is self-studying proofs in math feasible?

Yes, self-studying proofs in math is feasible with the right resources and dedication. However, it is recommended to have a solid understanding of basic mathematical concepts before attempting to study proofs on your own.

4. How can I make the most out of a self-study math textbook?

To make the most out of a self-study math textbook, it is important to actively engage with the material. This can include taking notes, practicing proofs on your own, and seeking clarification when needed. It is also helpful to set a schedule and stick to it.

5. Are there any online resources that can supplement an intro to proofs math textbook for self-study?

Yes, there are many online resources available that can supplement an intro to proofs math textbook for self-study. These can include video lectures, practice problems, and interactive tutorials. It is important to choose reputable and reliable sources when using online resources.

Similar threads

  • Science and Math Textbooks
Replies
17
Views
1K
  • Science and Math Textbooks
Replies
13
Views
2K
  • Science and Math Textbooks
Replies
17
Views
870
  • Science and Math Textbooks
Replies
25
Views
7K
  • Science and Math Textbooks
Replies
17
Views
5K
  • Science and Math Textbooks
Replies
4
Views
988
  • Science and Math Textbooks
Replies
7
Views
2K
  • Science and Math Textbooks
Replies
20
Views
2K
  • Science and Math Textbooks
Replies
11
Views
2K
  • Science and Math Textbooks
Replies
18
Views
1K
Back
Top