2015 Ej4.c

2015 Ej4.c

de Nestor Valentin Etcheverry Olivieri -
Número de respuestas: 1

Buneas,

En la parte b de este ejercicio se encuentra T = CONS( {¬p2} U  \Gamma ) con  \Gamma ={p0,p1}

¿Como hago para que   \Gamma \subset \Delta1  pero no T, tomando el  \Delta1 = CONS( \Delta ) siendo  \Delta  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  \Delta1 = CONS({p0,p1,¬p2,p3,..}) ¿Que tiene T que no tiene  \Delta1 ?