El 3) a) Se me ocurrio así, te dice probar en ENTEROS entonces...

a | c ^ a | (C+2) => |A|= 1 v |A| = 2


c = a . k ( como te dice en enteros, K pertenece a los enteros)



C+2 = a . J (con j perteneciente a enteros)
C = (a . j) -2

remplazo C con (a. J ) -2

(a . j )-2 = (a . k)

Despejo me queda:

(a.j) - (a.k) = 2

Saco factor comun a.

a (j-k) = 2

J-K , son dos números enteros que los cambio por una letra P
(j-k) = P

a . P = 2

P = 2/a , para que 2/a siga siendo entero , a puede valer -1 ,1 ,2,-2

Entonces es verdadero. Si alguno piensa que esta mal o algo , comente


5d)
V x € z Ey €Z / x + y = y


La duda que tengo es al principio, ya que lo que estoy poniendo ahi es para todo x perteneciente a z existe un y perteneciente a z tal que x + y = y

No sé si el para todo es = al para cada


3b) resto de 19x14(15) Que hay que hacer en este?

alguien sabe que onda con el 5b? para mi es verdadero pero siendo asi no sabria como demostrarlo

Cita:3b) resto de 19x14(15) Que hay que hacer en este?

19x14 = 266
entonces, r(266,15) = ?

haces algoritmo de euclides y te da resto y la forma de expresarlo como combinacion lineal. el resto te daba 11 creo.

Cita:alguien sabe que onda con el 5b? para mi es verdadero pero siendo asi no sabria como demostrarlo

tenes que dar un ejemplo de un conjunto que este bien ordenado pero no totalmente ordenado y listo. p ej, (d8,|) esta bien ordenado, pero no totalmente ordenado (cdo algo esta totalmente ordenado, el d. de hasse es uno abajo del otro). es falso

Te hago una pregunta, Divisores de 8 no esta totalmente ordenado ? no quedaría 8-4-2-1 (en columna) ?

(18-02-2014 18:58)Facu Figo escribió:  Te hago una pregunta, Divisores de 8 no esta totalmente ordenado ? no quedaría 8-4-2-1 (en columna) ?

pienso lo mismo que facu, para mi ese contraejemplo esta mal, bien ordenado => totalmente ordenado

(16-02-2014 00:05).py escribió:  

(15-02-2014 22:10)Virus escribió:  

(15-02-2014 20:55).py escribió:  El punto 3 ni lo toque , saque 6. El de PIC podias hacerlo con n=1 y despues m=1 , en la hipotesis ponias lo mismo con h. era como que ramificabas las opciones y estaba bien.

disculpa, primero hacias induccion con n=1, n =h, n=h+1 y despues hacias otra induccion con m=1, m =h, m=h+1?

P(1)
n = 1
sarasa

mas abajo

m = 1

P(N)
n=N
sarasa

mas abajo

m=N

tesis

n= n+1 -> sarasas -> n+1


n= m+1 -> sarasas -> m+1

Consulta, porque n = n+1 y m=m+1? podria ser m=m+1 y m=n+1?? No entendi las tesis... gracias!

ni idea , yo hice el "pasito" con cada variable separado. seguro era al pedo

Yo sabía esto..
Orden parcial ==> no tiene buen orden
Orden total ==> Tiene buen orden si es finito, si es infinito dependerá

Es verdadera, ya que para que un conjunto este bien ordenado tiene que ser un conjunto no vacio totalmente ordenado.

(19-02-2014 00:21).py escribió:  ni idea , yo hice el "pasito" con cada variable separado. seguro era al pedo

nunca hice uno de induccion con 2 variables, podrias resolverlo o tirarme una idea de como lo hiciste? osea plantear las hipotesis y las tesis... tendria que demostrar por n y m no? gracias!

el 5b) es falso, contraejemplo (D12,/)
12
/ \
6 4
/ \ /
3 2
\ /
1

Es buen orden porque existe un único primer elemento (que es el 1) y no es T.O. ya que existen elementos incomparables por ejemplo 6//4 y 3//2

(19-02-2014 14:06)mantovan234 escribió:  

(19-02-2014 00:21).py escribió:  ni idea , yo hice el "pasito" con cada variable separado. seguro era al pedo

nunca hice uno de induccion con 2 variables, podrias resolverlo o tirarme una idea de como lo hiciste? osea plantear las hipotesis y las tesis... tendria que demostrar por n y m no? gracias!

es el mismo procedimiento pero con el doble de variables

el p(1) lo separas en 2 ramas
n=1 y hace la magia
m=1 y haces la magia

p(h) hipotesis
n=h
m=h

despues te la tesis haces 2 ramas tambien
n=h a n=h+1 usando la tesis de n=h
m=h a m=h+1 usando la tesis de m=h

con es lo tuve bien

Alguien sabe como hacer el 1?

1) Creo que la función ya indica las clases en las que se divide, puesto que la relación S relaciona 2 elementos tal que sus respectivas imágenes de la funcion F sean iguales. Entonces sería:

Clases de equivalencia
cl(x) = { x / x < 0 ^ y / f(x) = f(y) = y^2 + 2 } .
cl(0) = cl(1) = ... cl(9). -------> cl(x) = { x / f(x) = 6} (son todos los números que cumplen esa condición, y sólo la cumplen [0,9]
cl(x) = { x / x > 9 ^ y / f(x) = f(y) = -y }.

R/S (conj. cociente) = {x^2 + 2, cl(0), -x}

Clases del -6,0,128
cl(0) = {0,1,2,3,4,5,6,7,8,9}
cl(-6) = {-6,6}
cl(128) = {-128,128}

PD: vale aclarar que esto no tiene porqué estar correcto, pero dando mi forma de resolverlo (bien o mal) quizás doy un puntapié a que otro lo terminé de hacer, o bien, confirmar que esto está bien resuelto!
PD2: ahora que lo revisé creo que mandé fruta en las clases de equivalencia, pero la idea está jajaja

(19-02-2014 15:16)juanchi.rios escribió:  el 5b) es falso, contraejemplo (D12,/)
12
/ \
6 4
/ \ /
3 2
\ /
1

Es buen orden porque existe un único primer elemento (que es el 1) y no es T.O. ya que existen elementos incomparables por ejemplo 6//4 y 3//2

Buen orden es cuando TODO subconjunto del conjunto tiene primer elemento. En este caso el subconjunto {3,2,6,4,12} no tiene primer elemento...