Page "Well-formed formula" Paragraph 5

Formulas are quite often interpreted as propositions ( as, for instance, in propositional logic ).

However formulas are syntactic entities, and as such must be specified in a formal language without regard to any interpretation of them.

An interpreted formula may be the name of something, an adjective, an adverb, a preposition, a phrase, a clause, an imperative sentence, a string of sentences, a string of names, etc .. A formula may even turn out to be nonsense, if the symbols of the language are specified so that it does.

Furthermore, a formula need not be given any interpretation.