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

De Cuba-Wiki
Sin resumen de edición
Línea 10: Línea 10:
<font color=white>code0602</font>
<font color=white>code0602</font>
==Ejercicio 10==
==Ejercicio 10==
<font color=white>code0606</font>
===a)===
<br><math>(\forall x \exists y P(x, y)) \wedge \neg( \exists y \forall xP(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>\exists y P(a, y) </math>
<br><math>P(a, b) </math>
<br><math>\neg\forall x P(x, b) </math>
<br><math>\neg P(c, b)</math>
<br>Contraejemplo: I =< {a, b}, {(a, b), (b, a)} >
 
===b)===
<br><math>( \exists y \forall x P(x, y)) \wedge \neg(\forall x \exists y P(x, y)) </math>
<br><math>\exists y \forall x P(x, y) </math>
<br><math>\neg\forall x \exists y P(x, y) </math>
<br><math>\forall x P(x, a) </math>
<br><math>\neg \exists y P(b, y) </math>
<br><math>P(b, a) </math>
<br><math>\neg P(b, a) </math>
<br>×
 
==Ejercicio 11==
==Ejercicio 11==
<font color=white>code0605</font>
<font color=white>code0605</font>

Revisión del 02:44 6 mar 2007

Ejercicio 01

Ejercicio 02

Ejercicio 03

Ejercicio 04

Ejercicio 05

Ejercicio 06

Ejercicio 07

Ejercicio 08

Ejercicio 09

code0602

Ejercicio 10

a)









Contraejemplo: I =< {a, b}, {(a, b), (b, a)} >

b)









×

Ejercicio 11

code0605

Ejercicio 12

code0608

Ejercicio 13

code0610