Truth Value

In predicate logic, the truth value is simply whether the given formula is true
For example.

The truth value of $\mathrm{\forall }xP(x)$, where $P(x)$ is the statement $x^2<10$
and the domain is the set $\{1,2,3,4\}$

As we know from Finite Domains…

Because $4^2=16$, which is less than 10, the truth value of $\mathrm{\forall }xP(x)$ must be False