Discrete math - simple formalism question

  • Thread starter oferon
  • Start date
  • #1
oferon
30
0
I never used descrete math terms in english before, so I hope it sounds clear enough:

Formalize the following:
1) Between every two different real numbers there is a rational number
2) There exist real numbers x and y, such that x is smaller than y, yet x^2 is bigger than y^2

Now the solution I wrote for 1 is:

[itex]\forall x,y \in R.x\neq y \hspace{5 mm} \exists z\in Q.\left\langle[(x<z)\wedge (y>z)]\vee [(y<z)\wedge (x>z)]\right\rangle[/itex]


Only then I checked the solution given by my teacher said:

[itex]\forall x,y \in R.x\neq y \Rightarrow \exists z\in Q.\left\langle[(x<z)\wedge (y>z)]\vee [(y<z)\wedge (x>z)]\right\rangle[/itex]

Now, where did this implication arrow come from, and is it necessary? If so, what's wrong with my solution then?


For the second sentence we didn't get any solution, so I just want to confirm the following is correct:

[itex]\exists x,y\in R.[(x<y)\wedge (x^2>y^2)][/itex]


Thanks in advance for your time :)
 

Answers and Replies

  • #2
gustav1139
14
0


The 'implies' is there to emphasize the logical connection there. If you have two reals like that, then you can find such a z. Moreover, if you can't find such a z, then x=y (or one of x,y is not a real number, which seems less likely).
I probably would have left out the arrow as well, since the question is phrased as a statement, and not an implication. In any case, the sentence you wrote would usually be acceptable, but since your prof. wants the arrow in, leave it.

Your second answer looks fine to me, unless you want to put a little "s.t." in between there.
 
  • #3
oferon
30
0
Hi gustav
Thanks for your reply
Could you just explain what "s.t." means? I'm not very familiar with the english terms.
Thanks a bunch
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
43,021
970
s.t. = 'such that'. "There exist x and y such that..." means there exist x and y having the following property.
 

Suggested for: Discrete math - simple formalism question

  • Last Post
Replies
16
Views
756
  • Last Post
Replies
6
Views
602
Replies
12
Views
373
Replies
8
Views
459
Replies
3
Views
581
Replies
1
Views
74
Replies
23
Views
519
Replies
1
Views
2K
  • Last Post
Replies
9
Views
764
  • Last Post
Replies
2
Views
559
Top