Ejercicio 3 - Parte b

Ejercicio 3 - Parte b

de Bruno Capote Hernández -
Número de respuestas: 1
Tenemos: ((((p1 -> p2) -> p1) -> p2) -> p1)

Donde:
    ((p1 -> p2) -> p1) := (p1 -> p2)
                            y
    ((p1 -> p2) -> p2) := (p1->p2)

Entonces la otra opción de largo mínimo además de (p1 -> p2)
sería ((NOTp2) -> (NOTp1)) ?


En respuesta a Bruno Capote Hernández

Re: Ejercicio 3 - Parte b

de Juan Diego Campo -
Hola Bruno, no entendí la notación que usás... ¿Qué es :=?

Tené en cuenta que una secuencia de formación es una secuencia (una lista) \alpha_0, \alpha_1,...\alpha_n
que tiene que cumplir algunas condiciones que están en la definición.

Lo que pide el ejercicio es dar dos de estas listas:

\alpha_0, \alpha_1,...\alpha_n

\alpha_0', \alpha_1',...\alpha_n'

distintas, pero las dos de largo mínimo.


Saludos