[serpa]

Sea \( long(\alpha ) \) la longitud de una formula proposicional,\( LP(\alpha ) \) el numero de letras de una formula proposicional. Demostrar
                           \( long(\alpha )\leq{3LP(\alpha )^2} \).

induccion inducción
formula fórmula

[Teón]

Hola.
Primero deberíamos saber, como se considera la formación de una fórmula, que se cuenta como longitud, número de letras, etc.
En base a esos datos, podremos establecer relaciones.

Por ejemplo, se puede exigir que toda fórmula se la escriba de la siguiente manera:

\( (p\lor q) , (\neg r) \)

O puede ser que se omitan los paréntesis extremos .

Saludos.