Formula (Propositional Logic)

Definition

Formula (Propositional Logic)

A propositional formula is a formula built from atomic propositions using logical connectives such as $\neg$, $\wedge$, $\vee$, and $\to$.

Propositional formulas are the basic objects of propositional logic.

Normal Forms

Every propositional formula has an equivalent CNF and an equivalent DNF (normal form existence).