21-02-2013, 21:45
Buenas
Resulta que estoy con el ejercicio 3.3 del TP 2 de la guia de discreta (buscado y no encontrado en el foro).
Si bien parece sencillo me doy cuenta que no tengo las herramientas... aca el ejercicio:
\[Sean\] \[A\] \[y\] \[B\] \[dos\] \[conjuntos\] \[y\] \[R \subseteq A\times B\] , \[S \subseteq A\times B\] \[probar\] \[la\] \[validez\] \[de:\]
\[R \subseteq S \Rightarrow R^{-1} \subseteq S^{-1}\]
En el libro de la catedra esta la siguiente resolucion al problema:
\[Sea\] \[(y,x) \epsilon R^{-1} \Rightarrow (x,y) \epsilon R \Rightarrow (x,y) \epsilon S \Rightarrow (y,x) \epsilon S^{-1}\]
Pero no explica los pasos y no lo entiendo, ademas de que ya parece que arranca del consecuente (\[R^{-1}\])
Muchas Gracias
Resulta que estoy con el ejercicio 3.3 del TP 2 de la guia de discreta (buscado y no encontrado en el foro).
Si bien parece sencillo me doy cuenta que no tengo las herramientas... aca el ejercicio:
\[Sean\] \[A\] \[y\] \[B\] \[dos\] \[conjuntos\] \[y\] \[R \subseteq A\times B\] , \[S \subseteq A\times B\] \[probar\] \[la\] \[validez\] \[de:\]
\[R \subseteq S \Rightarrow R^{-1} \subseteq S^{-1}\]
En el libro de la catedra esta la siguiente resolucion al problema:
\[Sea\] \[(y,x) \epsilon R^{-1} \Rightarrow (x,y) \epsilon R \Rightarrow (x,y) \epsilon S \Rightarrow (y,x) \epsilon S^{-1}\]
Pero no explica los pasos y no lo entiendo, ademas de que ya parece que arranca del consecuente (\[R^{-1}\])
Muchas Gracias