Va el final.

niko93_15 lo habia pedido.

Saludos!

gracias geniooooo!!

en el titulo dice 2013! jaja.. Muchas gracias!

(07-12-2014 16:02)Trisky escribió:  en el titulo dice 2013! jaja.. Muchas gracias!

Corregido, gracias!

1)
a - Me resulto ( ¬P v Q ) que es lo mismo que ( P => Q )
b - Me resulto valido ya que por ejemplo con X = 0 se cumple para todo Y.
c - Me resulto razonamiento inválido a través del método del absurdo.

2)
a - Se logra definir en función de las propiedades reflexivas, simétricas y transitivas.
b - Me dio que cada elemento del conjunto A genera una relación única ya que (a,16) = (b,16) solo si a=b. Por tanto me genera 9 clases distintas, la cual es cada uno de sus elementos siendo A = { 1..9 }

(NO estoy seguro de que lo haya hecho bien, principalmente el 2,b. ¿Podrían decirme que les dio?)
En un rato hago los otros y los subo.

Ruben, te molesto mucho si te pido que el primero lo desarrolles un poquito mas?

mil gracias

(09-12-2014 03:28)Ruben Maier Enzler escribió:  1)
a - Me resulto ( ¬P v Q ) que es lo mismo que ( P => Q )
b - Me resulto valido ya que por ejemplo con X = 0 se cumple para todo Y.
c - Me resulto razonamiento inválido a través del método del absurdo.

2)
a - Se logra definir en función de las propiedades reflexivas, simétricas y transitivas.
b - Me dio que cada elemento del conjunto A genera una relación única ya que (a,16) = (b,16) solo si a=b. Por tanto me genera 9 clases distintas, la cual es cada uno de sus elementos siendo A = { 1..9 }

(NO estoy seguro de que lo haya hecho bien, principalmente el 2,b. ¿Podrían decirme que les dio?)
En un rato hago los otros y los subo.

Ruben, como va? podes subir el 1-a y el c

2) a y b me dio como vos pero en otro th esta diferente.

3) a) es facil
b) me dio 1
c) da X0=6; X1=13 y X2=20

4) es grupo y es isomorfismo con (Z6;+)

5) a) es falso
b) es falso v=19

Muchas gracias
Saludos

De la unica forma que llego al resultado de Raul, es tomando el conector bicondicional como condicional. <=> POR =>. Puede ser que haya sido un error de tipeo en el final?

tutecabrero, no es un error de tipeo, sino que tenés que reemplazar [(p^q) <=> p] por [(p^q) => p] ^ [p => (p^q)].

VILLY, podrías hacer el ejercicio 5.a? No entiendo como hacerlo porque no es de los normales de recurrencia que tengo en el cuaderno.
Acá te dejo el 1.a como lo hice yo:

   

Genio!

aca esta el 5)a hecho de 2 maneras, se pueden sacar las raíces y ya te das cuenta que al ser imaginarias no tiene solución, o planteas como seria A(n+1) y despejas hasta llegar a lo mismo, q en este caso nunca vas a poder llegar.



Espero q se lea

Saludos

Esto hice yo, tengo algunas dudas nose si alguien que lo hizo le dio distinto o igual a mi

Resolución 3-12-14

(15-12-2014 15:31)trezeguet escribió:  Esto hice yo, tengo algunas dudas nose si alguien que lo hizo le dio distinto o igual a mi

Resolución 3-12-14

El de sacar el resto me quedo igual pero no estoy 100% seguro de que este bien.

Despues: salvo el 1 y el de automatas que no los hice, me quedó igual.

edit: en el 1a llegue a lo mismo. Ni idea como hacer el 1c.

El 1b es solamente decir que si x=0 entonces y puede valer lo que quiera porque y*0=0 ??

Muchas gracias... estaré subiendo lo que pueda resolver!

---

El 2 ) a ) es fácil y está bien resuelto;
el 2) b) es:
aRb si y solo si (a,16) = (b,16)
cl(1) = {1,3,5,7,9}
cl(2) = {2,6}
cl(4) = {4}
cl(8) = {8}
A/R = {1,2,4,8}

(09-12-2014 03:28)Ruben Maier Enzler escribió:  1)
c - Me resulto razonamiento inválido a través del método del absurdo.

Según WolframAlpha, el 1c es un razonamiento válido (la conclusión es consecuencia lógica de las premisas).