I am to Write the sentence in words that corresponds to the following symbolic statement. Find the negation both symbolically and in words:
∀x ∃y ∋ y > x
For all x: P(x) is true and there is at least one y such that P(y) is true For every element P(y) > P(x)
There exist at least one x such that P(x) is true and For all y: P(y) is true For every element P(y)≤ P(x)
There exists an y such that for all x, x is less than or equal to y,
There exists an x such that for all y, y is less than or equal to x.
That is, there exists a greatest element.