One FOL formula also has a truth value.

Formulas involving ∃ (Existential quantification) are true if a substitution of terms for variables results in a formula that is true in the model.

Formulas involving ∀(Universal quantification) must be true under all possible substitutions.