 Sentence (mathematical logic)

In mathematical logic, a *sentence* is a well-formed formula (WFF) that does not contain any free variables; in other words, it is a statement that has a definite truth value—either true or false—once the variables are assigned values from a specific interpretation.