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}) ????
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}) ????