Práctica 7 (LyC Verano)

Ejercicio 09

code0602

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) }
$\neg \exists y\forall xP(x,y)$
$\exists yP(a,y)$
$P(a,b)$
$\neg \forall xP(x,b)$
$\neg P(c,b)$
Contraejemplo: I =< {a, b}, {(a, b), (b, a)} >

b)

$(\exists y\forall xP(x,y))\wedge \neg (\forall x\exists yP(x,y))$
$\exists y\forall xP(x,y)$
$\neg \forall x\exists yP(x,y)$
$\forall xP(x,a)$
$\neg \exists yP(b,y)$
$P(b,a)$
$\neg P(b,a)$
×

Ejercicio 11

code0605

Ejercicio 12

code0608

Ejercicio 13

code0610