which means that
is even (over the domain of integers), and

which means that
and
is not the product of two numbers (both greater than one), i.e., is prime.

Closed sentential formulas are known as sentences, although it sometimes also happens that open sentential formulas are
admitted as sentences (Carnap 1958, p. 25).