Definition:Logical Formula

From ProofWiki
Jump to: navigation, 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