• Support PF! Buy your school textbooks, materials and every day products Here!

Proof Theory for all real numbers

  • Thread starter cannibal
  • Start date
14
0
[SOLVED] Proof Theory for all real numbers

1. Homework Statement

If a and b are real numbers, we define max {a, b} to be the maximum of a and b or the common value if they are equal.

Prove that for all real numbers d, d1, d2, x, If d = max {d1, d2} and x ≥ d, then x ≥ d1 and x ≥ d2.

2. Homework Equations



3. The Attempt at a Solution

I do not know how to even start this problem, i have a small feeling that this exercise has something in relation with the "Logic and propositional calculus topic" but i have not find out were to link it. Any hint or good start will be appreciated.

Thanks :redface:
 

Answers and Replies

HallsofIvy
Science Advisor
Homework Helper
41,738
899
Why in the world is this in "Engineering, Computer Science, and Technology"? Looks like a straightforward math problem to me. First, we have, from the definition, [itex]max(d_1,d_2)\ge d1[/itex] and [itex]max(d_1,d_2)\ge d2[/itex]. It follows immediately that if [itex]x\ge max(d1,d2)[/itex] then [itex]x\ge d1[/itex] and [itex]x\ge d2[/itex].
 
14
0
Thank you very much "HallsofIvy" i put it here since its a "Computer Science Class" at my college, I am currently studying "Computer Engineer" and i have to take this class.

Thanks!
 

Related Threads for: Proof Theory for all real numbers

Replies
1
Views
664
  • Last Post
Replies
4
Views
1K
Replies
0
Views
2K
  • Last Post
Replies
5
Views
16K
  • Last Post
Replies
10
Views
1K
Replies
3
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
647
Top