Segundo Parcial 2011 ejercicio 1 parte b

Segundo Parcial 2011 ejercicio 1 parte b

de Esteban Gabriel Risso Martinez -
Número de respuestas: 3

hola cuando te piden demostrar  que 

 paratodoW paratodoZ ((P(w) ↔P(z)) ↔ Q(w,z)) /= Q(x,y) → Q(y,x) lo que intente hacer fue separarlo, o sea estudiar

   /=  paratodoW paratodoZ ((P(w) ↔P(z)) ↔ Q(w,z)) /= Q(x,y) y por otro lado /=  Q(x,y) → Q(y,x) pero no llego a nada...alguna idea de como hacerlo?

Gracias!

 

En respuesta a Esteban Gabriel Risso Martinez

Re: Segundo Parcial 2011 ejercicio 1 parte b

de Luis Sierra -
no entiendo tu estrategia. ¿por qué no usás la definición de |= ?

luis
En respuesta a Luis Sierra

Re: Segundo Parcial 2011 ejercicio 1 parte b

de Esteban Gabriel Risso Martinez -

porque no sabia como empezar bien, seria algo del estilo :

paratoda M del tipo adecuado si

M |= paratodoW paratodoZ ((P(w) ↔P(z)) ↔ Q(w,z)) entonces

M |=  Q(x,y) → Q(y,x). 

y despues seria aplicarle 2.4.5 a lo de la izquierda del "entonces" y a lo otro clausura?