2
$\begingroup$

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!

$\endgroup$
  • 1
    $\begingroup$ You should also require that $S_1 \neq S_2$ $\endgroup$ – dani_s Mar 29 '14 at 5:07
4
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ "$2$ unique objects" is oxymoronic. I think you mean "$2$ different objects." $\endgroup$ – bof Mar 29 '14 at 6:31
  • $\begingroup$ Changed it thanks $\endgroup$ – ruler501 Mar 29 '14 at 14:52

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.