Definition:Logical Formula

Definition

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

Then the well-formed formulas of $\mathcal L$ 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.