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 126: | Línea 126: | ||
<br>(4)(Usando 2)<math> \forall y \exists z P(y,z,t) </math> | <br>(4)(Usando 2)<math> \forall y \exists z P(y,z,t) </math> | ||
<br>(5)(Usando 3)<math> \neg \forall y \exists z P(z,y,t) </math> | <br>(5)(Usando 3)<math> \neg \forall y \exists z P(z,y,t) </math> | ||
<br>(6)(Usando 5)<math> \neg \exists z P(z, | <br>(6)(Usando 5)<math> \neg \exists z P(z,t,t) </math> | ||
<br>(7)(Usando 4)<math> \exists z P(t1,z,t) </math> | <br>(7)(Usando 4)<math> \exists z P(t1,z,t) </math> | ||
<br>(8)(Usando 7)<math> P(t1,t2,t) </math> | <br>(8)(Usando 7)<math> P(t1,t2,t) </math> | ||
<br>(9)(Usando 6)<math> \neg P(t2,t1,t) </math> | <br>(9)(Usando 6)<math> \neg P(t2,t1,t) </math> | ||
<br>(10)(Usando 1)<math> P(t1,t2,t) \rightarrow P(t2,t1,t) </math> | <br>(10)(Usando 1)<math> P(t1,t2,t) \rightarrow P(t2,t1,t) </math> | ||
<br>(11)<math> \neg P( | <br>(11)<math> \neg P(t2,t,t) \vee P(t2,t1,t) </math> | ||
<br>(12)(Usando 8,9)<math> P(t1,t2,t) \vee \neg P(t2,t1,t) </math> | <br>(12)(Usando 8,9)<math> P(t1,t2,t) \vee \neg P(t2,t1,t) </math> | ||
<br>(13) <math> x \vee x </math> | <br>(13) <math> x \vee x </math> | ||
[[Category:Prácticas]] | [[Category:Prácticas]] |