Edición de «Práctica 7 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 30: | Línea 30: | ||
<br>q.v.q. <math>M \neg\vDash \phi</math>, o sea, <math>(\forall v) M \neg\vDash \phi[v]</math> | <br>q.v.q. <math>M \neg\vDash \phi</math>, o sea, <math>(\forall v) M \neg\vDash \phi[v]</math> | ||
<br>Supongamos que no, luego <math>(\exists v) tq M \vDash fi[v]</math> | <br>Supongamos que no, luego <math>(\exists v) tq M \vDash fi[v]</math> | ||
<br>o sea <math>A \vDash (\forall x)(\forall y)(( R(x,y) \wedge R(y,z)) \rightarrow R(x,z)) </math> | <br>o sea <math>A \vDash (\forall x)(\forall y)(( R(x,y) \wedge R(y,z)) \rightarrow R(x,z)) </math> <br>sii <math>\forall k1,k2,k3 / v' = v( (x=k1)(y=k2)(z=k3)) \in M, M \vDash R(x,y) Y R(y,z) \rightarrow R(x,z)[v']</math> | ||
<br>sii <math>\forall k1,k2,k3 / v' = v( (x=k1)(y=k2)(z=k3)) \in M, M \vDash R(x,y) Y R(y,z) \rightarrow R(x,z)[v']</math> | <br>sii M \neg\vDash R(x,y) \wedge R(y,z)[v'] o M \vDash R(x,z)[v']</math> | ||
<br>sii | |||
<br>Pero si pasa que k1=a, k2=b, k3=c. En ese caso <math>M \vDash R(x,y) \wedge R(y,z)[v']</math> porque <math>(a,b) \in Rm \wedge (b,c) \in Rm</math> | <br>Pero si pasa que k1=a, k2=b, k3=c. En ese caso <math>M \vDash R(x,y) \wedge R(y,z)[v']</math> porque <math>(a,b) \in Rm \wedge (b,c) \in Rm</math> | ||
<br>Pero <math>A \neg\vDash R(x,z)[v']</math> | <br>Pero <math>A \neg\vDash R(x,z)[v']</math> |