Definition:Formula


 * A logical formula: a particular example of a statement form in logic;
 * A word in a formal language.