Diferencia entre revisiones de «Práctica 7 (LyC Verano)»
(→a)) |
(→a)) |
||
Línea 25: | Línea 25: | ||
==Ejercicio 10== | ==Ejercicio 10== | ||
===a)=== | ===a)=== | ||
<br><math>(\forall x \exists y P(x, y) | <br><math>\neg (\forall x \exists y P(x, y) \rightarrow \exists y \forall xP(x, y)) </math> | ||
<br><math>\forall x \exists y P(x, y) </math> | <br><math>\forall x \exists y P(x, y) </math> | ||
<br><math>\neg \exists y \forall x P(x, y) </math> | <br><math>\neg \exists y \forall x P(x, y) </math> | ||
<br><math>\exists y P( | <br><math>\exists y P(a1, y) </math> | ||
<br><math>P( | <br><math>P(a1, b) </math> | ||
<br><math>\neg\forall x P(x, b) </math> | <br><math>\neg\forall x P(x, b) </math> | ||
<br><math>\neg P( | <br><math>\neg P(a2, b)</math> | ||
<br> | <br><math>\exists y P(a2, y) </math> | ||
<br>... | |||
Con lo cual la rama queda saturada, por lo que la negacion es satisfacible | |||
===b)=== | ===b)=== |
Revisión del 02:54 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)
...
Con lo cual la rama queda saturada, por lo que la negacion es satisfacible
b)
×
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 ( \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