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

De Cuba-Wiki
Línea 33: Línea 33:
<br><math>\neg\forall x P(x, b) </math>
<br><math>\neg\forall x P(x, b) </math>
<br><math>\neg P(c, b)</math>
<br><math>\neg P(c, b)</math>
<br>Contraejemplo: I =< {a, b}, {(a, b), (b, a)} >  
<br>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)===
===b)===

Revisión del 18:42 6 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

code0602

a)

b)

c)

Ejercicio 10

a)









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)









×

Ejercicio 11

code0605

Ejercicio 12

code0608

a)

b)

Ejercicio 13

code0610