Proofs Homework: Explain Why m+n≠10 Example Not Sufficient

  • Thread starter Thread starter ver_mathstats
  • Start date Start date
  • Tags Tags
    Example Proofs
Click For Summary
SUMMARY

The discussion clarifies that providing a single example, such as m=1 and n=2, is insufficient to prove the statement that for all integers m and n, m+n≠10. This is because a single counterexample does not negate the existence of other integers that could satisfy the equation m+n=10, such as m=4 and n=6. The conclusion emphasizes that to disprove a universal quantifier, one must demonstrate the existence of at least one counterexample, while proving it requires showing that no such integers exist.

PREREQUISITES
  • Understanding of universal quantifiers in mathematics
  • Basic knowledge of integer properties
  • Familiarity with proof techniques in mathematics
  • Ability to construct and analyze mathematical examples
NEXT STEPS
  • Study the principles of universal quantification in mathematical logic
  • Learn about proof by contradiction and its applications
  • Explore counterexamples in mathematical proofs
  • Investigate the properties of integers and their operations
USEFUL FOR

Students of mathematics, particularly those studying logic and proof techniques, educators teaching proof strategies, and anyone interested in understanding the nuances of mathematical reasoning.

ver_mathstats
Messages
258
Reaction score
21

Homework Statement


Suppose you are asked to prove that for all integers m and n, m+n≠10. You give the example m=1 and n=2. Why is this not sufficient?

Homework Equations

The Attempt at a Solution


I can't quite understand why it is not sufficient? Could someone please explain to me why is it insufficient?
 
Physics news on Phys.org
ver_mathstats said:

Homework Statement


Suppose you are asked to prove that for all integers m and n, m+n≠10. You give the example m=1 and n=2. Why is this not sufficient?

Homework Equations

The Attempt at a Solution


I can't quite understand why it is not sufficient? Could someone please explain to me why is it insufficient?
What do you mean? ##m+n\neq 10## isn't true for some integers. It is sufficient to say ##4+6=10## in order to disprove it. As it cannot be proven, there cannot be a sufficient condition for a proof either.

An example is never sufficient to prove an all quantifier, only to disprove one.
 
Put slightly differently, you are asked to show that no integers n and m exist that satisfy n+m = 10. Then it is not enough to give a single example of integers that do not sum to 10 as another pair of integers could do that (and does).
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
9K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K