Ejercicio 1.1: Indicar cuáles on términos válidos del cálculo lambda.

6. (Lx.Lx.Lx (x (x x)) Lx.Lx.x)
corregimos el punto faltante: (Lx.Lx.Lx.(x (x x)) Lx.Lx.x)

		Término es variable ó abstraccion o aplicacion

		x    variable
		Lx.M abstraccion funcional
		(M N) aplicacion funcional

	(Lx.Lx.Lx.(x (x x)) Lx.Lx.x)

	t1 = (x x)
	(Lx.Lx.Lx.(x t1) Lx.Lx.x)

	t2 = (x t1)
	(Lx.Lx.Lx.t2 Lx.Lx.x)

	t3 = Lx.t2
	(Lx.Lx.t3 Lx.Lx.x)

	t4 = Lx.t3
	(Lx.t4 Lx.Lx.x)

	t5 = Lx.t4
	(t5 Lx.Lx.x)

	t6 = Lx.x
	(t5 Lx.t6)

	t7 = Lx.t6
	(t5 t7)

	t8 = (t5 t7)
	t8