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]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] \forall{x} (R)[/math] y [math]\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.
| P. Suppes, Introducción a la lógica simbólica, CECSA, México 1980, p. 83-84. |