Longueur d'une formule
Bonjour,
je suis en train de lire le premier chapitre du Cori Lascar (calcul propositionnel). Comment prouve-t-on que pour une formule de hauteur $n$, les longueurs $n+2$ , $n+3$, $2^{n+2}-8$, $2^{n+2}-5$ et $2^{n+2}-4$ ne sont pas possibles ?
Merci pour votre aide
je suis en train de lire le premier chapitre du Cori Lascar (calcul propositionnel). Comment prouve-t-on que pour une formule de hauteur $n$, les longueurs $n+2$ , $n+3$, $2^{n+2}-8$, $2^{n+2}-5$ et $2^{n+2}-4$ ne sont pas possibles ?
Merci pour votre aide
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
À partir de ces observations, on doit pouvoir faire un raisonnement par récurrence.