[ejercicio 4 2015]

[ejercicio 4 2015]

de Leonela Ruth Pereira Perez -
Número de respuestas: 0

parte b) 

me definí el siguiente T:

T = cons(cons ($\Gamma$) U {-p2} )

Mi duda es:

Cons( Cons($\Gamma$) U {-p2})  = Cons( $\Gamma$ U {-p2}) ????

Adjunto Captura de pantalla de 2017-04-30 20-20-04.png