What is different between "holds" and "holds true"?

  • Thread starter Thread starter bacte2013
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The terms "holds" and "holds true" are interchangeable in mathematical discourse, both indicating that a statement is valid for a specified set of values. In the context of proofs, stating that a theorem "holds for all x in R" is equivalent to saying it "holds true for all x in R." There is no inherent difference in meaning between the two phrases; both affirm the truth of the theorem without leaving room for ambiguity regarding its validity across the specified domain.

PREREQUISITES
  • Understanding of mathematical proofs and the role of quantifiers.
  • Familiarity with set theory and real numbers (R).
  • Basic knowledge of logical statements and their interpretations.
  • Awareness of grammatical nuances in mathematical language.
NEXT STEPS
  • Explore the use of quantifiers in mathematical statements.
  • Study the principles of mathematical logic and proof techniques.
  • Review the definitions and implications of mathematical terminology.
  • Investigate common grammatical structures used in mathematical writing.
USEFUL FOR

Students of mathematics, educators teaching proof techniques, and anyone interested in the precise language of mathematical statements.

bacte2013
Messages
394
Reaction score
47
Hello!

I am currently studying the analysis, and I have a quick question. Whenever i claim (in proof) that a statement P holds for some x in R, can I assume that P holds true for some arbitrary numbers in R but not for all possible numbers in R? What is a difference between the terms "holds" and "holds true"? I know this is a subtle problem, but I am actually quite confused about it.
 
Mathematics news on Phys.org
I have never come across any distinction between 'holds' and 'holds true'. They are both just ways of saying 'it is the case'.
 
andrewkirk said:
I have never come across any distinction between 'holds' and 'holds true'. They are both just ways of saying 'it is the case'.

Does that mean "theorem holds for all x in R" and "theorem hold true for all x in R" are the same? Does the word "hold" contain any possibility of leaving a possibility of a theorem to be not true for all X in R, while "holds true" definitely assume the truth of the theorem?
 
bacte2013 said:
Does that mean "theorem holds for all x in R" and "theorem hold true for all x in R" are the same?
Yes.

Does the word "hold" contain any possibility of leaving a possibility of a theorem to be not true for all X in R, while "holds true" definitely assume the truth of the theorem?
No. The two phrasings mean exactly the same thing.
 
bacte2013 said:
Does that mean "theorem holds for all x in R" and "theorem hold true for all x in R" are the same? Does the word "hold" contain any possibility of leaving a possibility of a theorem to be not true for all X in R, while "holds true" definitely assume the truth of the theorem?
HallsofIvy said:
Yes.No. The two phrasings mean exactly the same thing.

Thanks! Recently, I have been very nervous about the use of grammars.
 
"Holds" and "Holds true", is definitely the same as said. Whatever has to be expressed about which members of a set satisfy a particular property, is done so explicitly using quantifiers or proper phrasing.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
953
Replies
4
Views
3K