how to convert sentence that contains "no more than 3" into predicate logic sentence?

1.1k Views Asked by At

How to convert sentence that contains “no more than 3” into predicate logic sentence?

For example: "No more than three $x$ satisfy $R(x)$" using predicate logic.

This is what I have for "exactly one $x$ satisfies $R(x)$": $\exists x(R(x) \land \forall y(R(y) \rightarrow (x = y)))$

2

There are 2 best solutions below

0
On BEST ANSWER

$$ \forall x \forall y \forall z \forall u ((R(x)\wedge R(y) \wedge R(z) \wedge R(u)) \rightarrow (x=y \vee x=z \vee x=u \vee y=z \vee y=u \vee z=u)) $$

2
On

Interpreting 'no more than three' as 'at most three' (i.e. it could be three, two, one, or maybe just none at all), you can do:

$$\exists x \exists y \exists z \forall u (R(u) \rightarrow (u = x \lor u = y \lor u = z))$$