# Definition:Logical Formula

## Definition

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

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