Una segunda forma en la que podríamos estructurar una prueba por inducción sobre la estructura de la fórmula es decir que\(\alpha\) es más simple que\(\phi\) si el número de conectivos/cuantificadores...Una segunda forma en la que podríamos estructurar una prueba por inducción sobre la estructura de la fórmula es decir que\(\alpha\) es más simple que\(\phi\) si el número de conectivos/cuantificadores en\(\alpha\) es menor que el número en\(\phi\).
