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

De Cuba-Wiki
Sin resumen de edición
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>
<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>
<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>
<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>
<br> <math> \neg  P(a,b) </math>
<br> <math> \neg (  P(a,b) \or \neg P(a,b) ) </math> </br>
<br> <math> \neg \neg  P(a,b) </math>
<br> <math> \neg  P(a,b) </math> </br>
<br> <math> P(a,b)</math>
<br> <math> \neg \neg  P(a,b) </math> </br>
<br> <math> x </math>
<math> P(a,b)</math>
<br> <math> x </math></br>


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









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

Ejercicio 12

a)

Si








b)

Si

Ejercicio 13