Definition:Logical Formula

Definition
Let $\mathcal F$ be a formal language used in the field of symbolic logic.

Then the well-formed formulas of $\mathcal F$ are often referred to as logical formulas.

They are symbolic representations of statements, and often of compound statements in particular.

Examples
In mathematics, the two most universal types of logical formula are propositional formulas and first-order formulas.

Also see

 * Definition:Compound Statement


 * Definition:Propositional Formula
 * Definition:First-Order Formula