Operaciones con relaciones: Matemáticas discretas

resuelve la demostración de la
siguiente relación:
Demuestra las dos contenencias:
(a) (R1 o R2) o R3 ? R1 o (R2 o R3)
(b) R1 o ( R2 o R3) ? (R1 o R2) o R3)
(a) sea (a,d) E (R1 o R2) o R 3
-->?c[(a,c) E R1 o R2 ? (c,d) E R3 ]
--> ?c{?b[(a,b) E R1? (b,c) E R2] ? (c,d) E R3}
--> ?c?b{[(a,b)E R1? (b,c)E R2] ? (c,d)E R3}
--> ?c?b{(a,b)E R1?[ (b,c)E R2 ? (c,d)E R3]}
--> ?b?c{(a,b)E R1?[ (b,c)E R2 ? (c,d)E R3]}
--> ?b{(a,b)E R1??c[ (b,c) E R2 ? (c,d)E R3]}
--> ?b[(a,b)E R1? (b,d)E R2 o R3]--->(a,d)E R1 o(R2 o R3)