First Order Logic "More Than One"?

Question

I'm trying to figure out how to express "More than one" in first order logic.

What I have so far is:

$$\exists S_1 \exists S_2 IsGreen(S_1) \wedge IsGreen(S_2)$$

But that definitely doesn't sound right.

It would be great if someone could point me in the right direction.

Thanks for reading!

Answer 1

That looks right but you are missing one part. You have nothing saying that $S_1 \neq S_2$ Without that you aren't saying anythings more than that one exists.

If it looks like this you do say that though $$\exists S_1 \exists S_2\, [IsGreen(S_1) \wedge IsGreen(S_2) \wedge (S_1 \neq S_2)]$$

This asserts that there are at least $2$ different objects that are green.