# Definition:Logical Formula

Jump to navigation
Jump to search

## 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.

## Also see