Estoy teniendo problemas con un problema de Lógica Proposicional Usando la inducción se supone que debo demostrar que si una fórmula bien formada (wff) X no tiene repeticiones de letras de la frase entonces X es inválida.
La pista en la parte posterior del libro dice "En lugar de tratar de demostrar directamente que cada wff sin repetición de letras de la oración tiene la característica de PL-invalidez, encontrar alguna característica F que es más fuerte que PL-invalidez (es decir, alguna característica de la que PL-invalidez sigue), y demostrar que cada wff tiene esa característica."
¿De qué se deriva la nulidad?
