DOCUMENT NO REVISAT

Definició recursiva [de fórmula]:

(a) Tota fórmula atòmica és una fórmula.

(b) Si S és un fórmula, llavors ¬S és una fórmula.

(c) Si R i S són fórmules, llavors

són fórmules.

(d) Si R és una fórmula i x és qualsevol variable, llavors

són fórmules.

(e) Cap expressió és una fórmula a menys que el que ho sigui se segueixi de les regles anteriors.

_____________________________________________________________

P. Suppes, Introducció a la lògica simbòlica, CECSA, Mèxic 1980, p. 83-84.