What's logical symbol for "for some"?

$\begingroup$

"For every" $x\in S$ would be $\forall x\in S$ which it's same as "for all" $x\in S$. But, is "for some" is same as "there exist"? It seems Yes, but is it Yes for every time? In several texts I found both use of "for some" and "there exist", not just one of them.

As an example:

enter image description here

$\endgroup$ 1

3 Answers

$\begingroup$

"There exists" does not mean there is only one, i.e. "There exists" is different from "There uniquely exists." So since there is no specification that there is exactly one such object (until proven otherwise), you can read the "there exists" as "for some" if you like.

$\endgroup$ $\begingroup$

It is the same whether you say there exists or for some.

$\endgroup$ $\begingroup$

It means the same thing. It's just for esthetic reasons that authors try to vary their vocabulary.

$\endgroup$

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

You Might Also Like