Segundo Parcial 2008, Ejercicio 4

Re: Segundo Parcial 2008, Ejercicio 4

de Cristina Beatriz Bermudez Roda -
Número de respuestas: 0

hola nosotros lo pensamos asi!! queriamos saber si estaba bien..

 

MOD(gamma)= M\M |= gamma

pero gamma (por parte a) es inconcistente -> no existe M tal que M |= gamma

-> MOD(gamma) es vacio

por otro lado:

MOD(delta)= M\M |= delta

pero delta tambien  es inconcistente -> no existe M tal que M |=delta

-> MOD(delta) es vacio

 

como son los dos vacios son iguales!!

esta bien el razonamiento?

saludos!