Open ssepul21 opened 8 months ago
En general, para demostrar transitividad, nos colgamos de la definicion:
$aRb \wedge bRc \rightarrow aRc$ Por lo que nos damos dos elementos (por ejemplo tuplas) pertenecientes a R. Por ejemplo (a,b) y (b,c). Objetivo Final : Probar que $(a,c) \in R$
En el caso de tu demostracion, si hubieras hecho lo mismo desde el comienzo al final, habria estado super: $R(b,a) \wedge R(a,c) \rightarrow R(b,c)$ Asumimos verdadero: $R(b,a) \wedge R(a,c)$ , Objetivo Final: Probar que $(b,c) \in R$
y ahi usas simetria y luego convexidad. En resumen: Si quieres demostrar algo relacionado a una definicion, sigue la definicion al PIE de la letra.
Hola! En la I1 2020-2 aparece este ejercicio. Yo tengo una duda sobre la 2bii), en concreto al demostrar hacia la derecha. Para demostrar transitividad en este ejercicio, yo lleve la fórmula de convexa a la formula de transitividad, como aparece aquí a continuación Sin embargo, la pauta como que hace algo diferente: Mi procedimiento igual es correcto? Creo que es como lo mismo, pero me quedó la duda :c Como hay sutilezas a veces en el ramo, para no meter la pata.
Saludos!