Gente, estuve haciendo este ejercicio y me surge la siguiente duda, ¿está bien considerar al gamma1 propuesto como [¬q] y al gamma2 como [¬p]?.
¡Cualquier ayuda sera bienvenida!. Gracias.
[Primer Parcial Mayo 2012][Ejercicio 2]
Número de respuestas: 1
En respuesta a Claudio Daniel Gonzalez Gonzalez
Re: [Primer Parcial Mayo 2012][Ejercicio 2]
de Fernando Carpani -
Hola a todos. Les voy a tirar una idea para que la peloteen Uds.
Me parece que no miraste bien el ejercicio... en la primera parte de esa parte nos dicen que:
La primer pregunta que nos hacemos debiera ser: qué significa esto?
Bien, esto significa que todas las valuaciones (si fuera predicados serían "estructuras") que hacen verdaderas a todas las fórmulas de 
también hacen verdadera la fórmula.
Te parece que eligiendo
pasa eso?
Saludos
FDO.