Logical expression using quantifiers

[mutzy188]

Homework Statement

Express each statement as a logical expression using quantifiers. State the universe of discourse.:

There is no smallest positive real number

The Attempt at a Solution

(∃y)((∀x)(y<x) )x

universe of discourse: poaitive real numbers

Is this correct?

Thanks

 

[bomba923]

Why not just write: \forall x &gt; 0,\;\exists y &gt; 0:y &lt; x

 

[ZioX]

Your statement says that there is a smallest positive number. You want to take the negation of that.

 

[bomba923]

Your statement says that there is a smallest positive number

No, my statement does not say that at all.

*Edit: If your post was directed at the OP, please state so in your post; else, your assertion is clearly false (your post comes directly after mine, so I assume you are referring to my post)

 

[HallsofIvy]

It is quite possible that ZioX wrote his reply before yours was posted- he thought his would appear immediately after mutzy188's post. Of course, you are right. It would have been clearer if he (and you- your reply might well have wound up after his) had copied the original post into the response.