Well-formedness
Well-formedness stands for:
- the agreement with the general syntax, see Syntax #The syntax of formal languages (formal syntax)
- a logically correct statement that yields a truth value, see Logical Formula
Well-formedness stands for: