Buneas,
En la parte b de este ejercicio se encuentra T = CONS( {¬p2} U ) con ={p0,p1}
¿Como hago para que pero no T, tomando el = CONS() siendo un conjunto completo (contiene p0,p1,¬p2 y pi o ¬pi para el resto de las letras proposicionales)?
Osea, T = CONS({p0,p1,¬p2}) y = CONS({p0,p1,¬p2,p3,..}) ¿Que tiene T que no tiene ?