Diferencia entre revisiones de «Práctica 7 (LyC Verano)»
Sin resumen de edición |
(→a)) |
||
| Línea 51: | Línea 51: | ||
===a)=== | ===a)=== | ||
Si | Si | ||
<br> <math> \neg ( \forall x \exists y \forall z \exists w ( P(x,y) \or \neg P(z,w) ) )</math> <br> <math> \neg ( \exists y \forall z \exists w ( P(a,y) \or \neg P(z,w)) ) </math> | |||
<br> <math> \neg ( \forall x \exists y \forall z \exists w ( P(x,y) \or \neg P(z,w) ) )</math> | <br> <math> \neg ( \forall z \exists w ( P(a,b) \or \neg P(z,w)) ) </math> | ||
<br> <math> \neg ( \exists y \forall z \exists w ( P(a,y) \or \neg P(z,w)) ) </math | <br> <math> \neg ( \exists w ( P(a,b) \or \neg P(a,w)) ) </math> | ||
<br> <math> \neg ( \forall z \exists w ( P(a,b) \or \neg P(z,w)) ) </math | <br> <math> \neg ( P(a,b) \or \neg P(a,b) ) </math> | ||
<br> <math> \neg ( \exists w ( P(a,b) \or \neg P(a,w)) ) </math | <br> <math> \neg P(a,b) </math> | ||
<br> <math> \neg ( P(a,b) \or \neg P(a,b) ) </math | <br> <math> \neg \neg P(a,b) </math> | ||
<br> <math> \neg P(a,b) </math | <br> <math> P(a,b)</math> | ||
<br> <math> \neg \neg P(a,b) </math> < | <br> <math> x </math> | ||
<math> P(a,b)</math> | |||
<br> <math> x </math | |||
===b)=== | ===b)=== | ||
Revisión del 01:44 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 (\forall x \exists y P(x, y)) \wedge \neg( \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(a, 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(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\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(c, b)}
Contraejemplo: I =< {a, b}, {(a, b), (b, a)} >
Bueno esto no se quien lo hizo pero creo que se equivoco. El contraejemplo no lo entendi pero estoy seguro que c puede ser a por lo tanto nos quedaria cerrado el arbol. Fijense....
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
