Definition:Logical Formula

From ProofWiki
Jump to: navigation, search


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.


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

Also see