Definition, synonyms and related words
A well-formed formula which has not been made by combining simpler well-formed formulas by means of logical connectives.