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== | ||
< | ===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
