Hola.
Les recordamos que mañana en el horario habitual de clases tendremos el primer parcial en línea. Al inicio de la prueba daremos las indicaciones para hacer la prueba, considerando también las normas de conducta necesarias.
Estuve mirando las entregas que hicieron de los dos primeros prácticos, que están muy bien. Vi un error común que quería compartirlo, sobre el ejercicio 2.3.1 del práctico 2, que pide probar que R es una relación de equivalencia. Notar que una relación para ser de equivalencia debe ser reflexiva (H1 del ejercicio), simétrica y transitiva. El error que vi en varias entregas es que confundieron H2 con la transitividad de la relación R.
Definition H2 := forall x y z:U, (R x y) /\ (R x z) -> (R y z).
La transitividad de R sería: forall x y z:U, (R x y) /\ (R y z) -> (R x z).
Saludos, Carlos
Les recordamos que mañana en el horario habitual de clases tendremos el primer parcial en línea. Al inicio de la prueba daremos las indicaciones para hacer la prueba, considerando también las normas de conducta necesarias.
Estuve mirando las entregas que hicieron de los dos primeros prácticos, que están muy bien. Vi un error común que quería compartirlo, sobre el ejercicio 2.3.1 del práctico 2, que pide probar que R es una relación de equivalencia. Notar que una relación para ser de equivalencia debe ser reflexiva (H1 del ejercicio), simétrica y transitiva. El error que vi en varias entregas es que confundieron H2 con la transitividad de la relación R.
Definition H2 := forall x y z:U, (R x y) /\ (R x z) -> (R y z).
La transitividad de R sería: forall x y z:U, (R x y) /\ (R y z) -> (R x z).
Saludos, Carlos