Diferencia entre revisiones de «Práctica 7 (LyC Verano)»

De Cuba-Wiki
Línea 69: Línea 69:
<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,t,t) </math>
<br>(6)(Usando 5)<math> \neg \exists z P(z,t1,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 5)<math> \neg P(t2,t1,t) </math>
<br>(9)(Usando 5)<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(t2,t,t) \vee P(t2,t1,t) </math>
<br>(11)<math> \neg P(t1,t2,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:Lógica y Computabilidad]]
[[Category:Lógica y Computabilidad]]

Revisión del 03:30 9 mar 2007

Ejercicio 01

Ejercicio 02

Ejercicio 03

a)

b)

c)

Ejercicio 04

a)

b)

c)

Ejercicio 05

Ejercicio 06

a)

b)

Ejercicio 07

Ejercicio 08

Ejercicio 09

a)

b)

c)

Ejercicio 10

a)


Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg (\forall x \exists y P(x, y) \rightarrow \exists y \forall xP(x, y)) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall x \exists y P(x, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg \exists y \forall x P(x, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \exists y P(a1, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(a1, b) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg\forall x P(x, b) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg P(a2, b)}
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \exists y P(a2, y) }
...

Con lo cual la rama queda saturada, por lo que la negacion es satisfacible

b)


Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle ( \exists y \forall x P(x, y)) \wedge \neg(\forall x \exists y P(x, y)) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \exists y \forall x P(x, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg\forall x \exists y P(x, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall x P(x, a) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg \exists y P(b, y) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(b, a) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg P(b, a) }
×

Ejercicio 11

Ejercicio 12

a)

Si
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg ( \forall x \exists y \forall z \exists w ( P(x,y) \or \neg P(z,w) ) )}
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg ( \exists y \forall z \exists w ( P(a,y) \or \neg P(z,w)) ) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg ( \forall z \exists w ( P(a,b) \or \neg P(z,w)) ) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg ( \exists w ( P(a,b) \or \neg P(a,w)) ) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg ( P(a,b) \or \neg P(a,b) ) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg P(a,b) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg \neg P(a,b) }
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(a,b)}
Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle x }

b)

Si

Ejercicio 13


Antes podemos reescribir la formula de la siguiente forma: P٨Q→Z <=> ¬(P٨Q)٧Z <=> ¬P٧¬Q٧Z . Con lo cual la negacion queda P٨Q٨¬Z. Entonces:


Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle (1)[ \forall x \forall y \forall z P(x,y,z) \rightarrow P(y,x,z) ] \wedge (2)[ \exists x \forall y \exists z P(y,z,x) ] \wedge (3)\neg [ \exists x \forall y \exists z P(z,y,x) ] }
(4)(Usando 2)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \forall y \exists z P(y,z,t) }
(5)(Usando 3)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg \forall y \exists z P(z,y,t) }
(6)(Usando 5)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg \exists z P(z,t1,t) }
(7)(Usando 4)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \exists z P(t1,z,t) }
(8)(Usando 7)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(t1,t2,t) }
(9)(Usando 5)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg P(t2,t1,t) }
(10)(Usando 1)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(t1,t2,t) \rightarrow P(t2,t1,t) }
(11)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle \neg P(t1,t2,t) \vee P(t2,t1,t) }
(12)(Usando 8,9)Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle P(t1,t2,t) \vee \neg P(t2,t1,t) }
(13) Error al representar (SVG o PNG como alternativa (MathML puede ser habilitado mediante plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «https://en.wikipedia.org/api/rest_v1/»:): {\displaystyle x \vee x }