Formule

Une expression syntaxique finie dans un langage formel construite à partir de symboles, connecteurs logiques, quantificateurs, symboles de prédicat ou de fonction, variables et parenthèses conformément aux règles de formation de ce langage.