- #26

- 94

- 0

Well.

first, what is the difference?

there is some,

there exists,

i cant quite make the difference, could you give me an example of where one is true and the other is not?

moving on,

there is some ##y \in X##such that## f(y) = m## and if ## m = n +1 ## then g(x) = m by the definition of ##g##.

but from the definition of ##g, y \in X \cup \{ x \} ## so y is an element of X or {x}. surely that is enough evidence to conclude that there exists ## y \in X \cup \{ x \} ## such that g(y) = m... or is this a case of there is some?

first, what is the difference?

there is some,

there exists,

i cant quite make the difference, could you give me an example of where one is true and the other is not?

moving on,

there is some ##y \in X##such that## f(y) = m## and if ## m = n +1 ## then g(x) = m by the definition of ##g##.

but from the definition of ##g, y \in X \cup \{ x \} ## so y is an element of X or {x}. surely that is enough evidence to conclude that there exists ## y \in X \cup \{ x \} ## such that g(y) = m... or is this a case of there is some?

Last edited: