Definition
Well-formedness
A formula is well formed if it obeys the syntax rules of the language.
In propositional logic, this means it is built from atoms using the allowed logical connectives.
In first-order logic, this means it is built according to the formation rules for terms, predicates, connectives, and quantifiers.