Induktive Definition der Aussagenlogik

Basis
- $⊤, ⊥$ sind aussagenlogische Formeln.
- Jede Variable $X \in AVar$ ist eine aussagenlogische Formel.
- $⊤, ⊥$ und die Variablen werden atomare Formeln oder Atome genannt.
Induktionsschritt (Regeln)- Wenn $φ \in AL$ eine Formel ist, dann ist auch $\neg φ \in AL$ .
- Wenn $φ, ψ \in AL$ Formeln sind, dann sind auch $(φ \lor ψ), (φ \land ψ), (φ \to ψ), (φ \leftrightarrow ψ)$ Formeln.
- $\neg, \lor, \land, \to, \leftrightarrow$ werden aussagenlogische Verknüpfungen genannt.