Beispiel Aussagenlogik
Aussagenlogische Variable und die logischen Konstanten wahr bzw. falsch sind atomare Formeln. Es gilt:
(1) Alle atomaren Formeln sind Formeln.
(2a) Für alle Formeln F und G sind (F?G) und (F?G) Formeln.
(2b) Für jede Formel F ist ¬F eine Formel.
(3) Nichts ist eine Formel, was nicht als solche durch (1) und (2) bestimmt ist.