Sous-formule
- Nom féminin singulier
Définition
- subdivision d'une formule
"sous-formule" dans l'encyclopédie
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 33 778 mots
- 1 média
Le Hauptsatz a pour corollaire la propriété de la sous-formule. Par définition, une sous-formule de A est soit A elle-même, soit : – dans le cas où A est ¬B, toute sous-formule de B, – dans le cas où A est B ∨ C, B & C, B → C, toute sous-formule de B et/ou de C, – dans le cas où A est ∀x B[x], ∃x B[x], toute sous-formule des formules B[t], t étant un terme quelconque.
