Enciclopedia Herder

Definición recursiva [de fórmula]:

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

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

(c) Si R y S son fórmulas, entonces

son fórmulas.

(d) Si R es una fórmula y x es cualquier variable, entonces

son fórmulas.

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

{{{Título}}} - {{{Autor}}}