Text de Suppes: exemple de definició recursiva/es

Definición recursiva [de fórmula]:

(a) Toda fórmula atómica es una fórmula

(b) Si S es una fórmula, entonces ¬S es una fórmula

(c) Si S y R son fórmulas, entonces [math]\displaystyle{ R\wedge S, R\vee S, R\rightarrow{S} y R\leftrightarrow{S} }[/math] son fórmulas

(d) Si R es una fórmula y x es cualquier variable, entonces [math]\displaystyle{ \forall{x} (R) }[/math] y [math]\displaystyle{ \exists{x} (R) }[/math] son fórmulas

(e) Ninguna expresión es una fórmula a menos que el que lo sea se siga de las reglas anteriores.