search

IIC1253 / IIC1253-2023-2

101 stars 2 forks source link

R1 U R2 #83

Open Fopazov opened 9 months ago

Fopazov commented 9 months ago

Buenas noches. Pregunta breve. ¿R1 U R2 corresponde a todos los pares de elementos del conjunto A que se relacionan por medio de R1 o R2 ?

ibgarrido commented 9 months ago

Voy a asumir que estas preguntando la demostracion de R1 U R2 es R.E => R1 U R2 = R1 o R2. Dado esto, efectivamente eso es lo que debes demostrar (recuerda el tema de la doble contencion al demostrar igualdad de conjuntos, por lo que tu pregunta aplicaria en un sentido de la contencion).

Fopazov commented 9 months ago

Perdonaa, se malinterpretó la pregunta. Quería saber si R1 U R2 es lo siguiente: R1 U R2 = {(a, b) e A x A l (aR1b V aR2b)} Encontré esta definición de unión de relaciones en internet, pero no estoy seguro de si está bien.

ibgarrido commented 9 months ago

Perdonaa, se malinterpretó la pregunta. Quería saber si R1 U R2 es lo siguiente: R1 U R2 = {(a, b) e A x A l (aR1b V aR2b)} Encontré esta definición de unión de relaciones en internet, pero no estoy seguro de si está bien.

Siempre que hay uniones el conectivo logico relacionado es el 'o de disyuncion (vease: https://es.wikipedia.org/wiki/Disyunción_lógica) (No lo vayas a confundir con un O exclusivo), asi que si, la definicion hace sentido ya que R1 y R2 esta definido sobre A.