Given the statement $S(x)$ : $\text{'}3$ divides

$1$ point

$x^3+1\text{'},$ select the right statement from

the following.

Predicate logic can't help formalise

$S$

The truth value of $S(2)$ is False

The truth value of $S(1)$ is True

$S$ is not a proposition, as its truth

value is a function depending of $x$

$S$ can be expressed with

propositional logic