17-07-2012, 18:16
Hola, tengo dificultades para entender un ejercicio que hice mal en el parcial del 14
c. Si, R es una relación definida en A .Entonces Dom ( R) \[\cap \] Dom [(A x A)- R] = vacío
En el examen justifiqué que era verdadera y lo demostré usando conjuntos, pero ayer me baje el parcial con las respuestas y vi que era falso, pero no logro entender por que!!
Esto es lo que hice yo
x pertenece a AxA: x pertenece a [Dom® \[\cap \] Dom[(AxA) - R] ]=> x pert. a Dom® ^ x pert. Dom(comp.R) =>
x pert. a Dom( R) ^x no Pert a Dom( R) => F => la proposición es verdadera porque no hay nada que pertenezca a la intersección.
Aquíla respuesta que encontré en el campus hecha por una profesora:
c. Si, R es una relación definida en A .Entonces Dom ® \[\cap \] Dom [(A x A)- R] = vacío F (justificar)
Recordar Dom [(A x A)- R] = Dom (complemento de R)
c. Si, R es una relación definida en A .Entonces Dom ( R) \[\cap \] Dom [(A x A)- R] = vacío
En el examen justifiqué que era verdadera y lo demostré usando conjuntos, pero ayer me baje el parcial con las respuestas y vi que era falso, pero no logro entender por que!!
Esto es lo que hice yo
x pertenece a AxA: x pertenece a [Dom® \[\cap \] Dom[(AxA) - R] ]=> x pert. a Dom® ^ x pert. Dom(comp.R) =>
x pert. a Dom( R) ^x no Pert a Dom( R) => F => la proposición es verdadera porque no hay nada que pertenezca a la intersección.
Aquíla respuesta que encontré en el campus hecha por una profesora:
c. Si, R es una relación definida en A .Entonces Dom ® \[\cap \] Dom [(A x A)- R] = vacío F (justificar)
Recordar Dom [(A x A)- R] = Dom (complemento de R)