Que tal muchachos/as, disculpen que los moleste, apelo a sus conocimientos, hoy entregamos con el grupo el TP de discreta obligatorio, y hay un ejercicio que no lo puedo sacar bajo ningun punto de vista,queria saber si alguno me da una mano, es el unico que me falta...
El ejercicio es: xRy <--> y=p.(q)^x.

Probar si cumple, prop reflexiva, simetrica, antisimetrica y transitiva.

Segun estuve averiguando cumple si o si con la reflexiva y la transitiva.

Solo pude demostrar la reflexiva de esta forma y se que esta bien.

xRy --> y=p.(q)^x.
aRa --> a=p.(q)^a para que la prop reflexiva se cumple a=p , y q=1

Pero las otras no las se demostrar, me podran dar una mano ?¿

Agradezco de antemano.


Abrazo :D

Te acordas de la definición de transitiva transitiva?

creo que era: xRy ^ yRz => xRz

reemplaza la ecuación en los dos primeros miembros, juga con eso, y deberias llegar.

Si no, subi aca el TP, mas la definición de reflexiva, que veo como ayudarte .