S     SUBFORMULA * Llamamos subfórmula de una fórmula a todas aquellas partes de una fórmula que son también fórmulas (generadas mediante F1 y F2.