search

IIC1253 / IIC1253-2023-2

101 stars 2 forks source link

Sobre el conjunto A #79

Open ssepul21 opened 9 months ago

ssepul21 commented 9 months ago

Hola! El conjunto A podría ser vacío?? De ser así, analizamos por casos no?

Saludos!

ibgarrido commented 9 months ago

Efectivamente podria ser vacio (Ese es el motivo por el cual en el enunciado dice 'Para todo conjunto A'). Ahora bien, notese que el vacio es generoso en cuanto a relaciones, ya que cumple hartas vacuamente! (En el sentido de que la hipotesis de la implicancia es falsa, ergo, se hace completamente verdadera).

Sea R una relacion definida sobre el conjunto ∅ = { X | X no pertenece a ∅} Es reflexiva, simetrica y transitiva vacuamente.

En resumen: Deberias hacer la demostracion como si A fuese cualquier conjunto.